gen_makefile: fix empty push-url for 'make regen'

This commit is contained in:
Neels Hofmeyr 2018-03-16 03:49:58 +01:00
parent 1b0d34f77a
commit 972c2945e2
1 changed files with 1 additions and 1 deletions

View File

@ -81,7 +81,7 @@ e.g. with a config like this in your ~/.ssh/config:
port 29418
you may pass '-u ssh://go' to be able to submit to gerrit.''')
parser.add_argument('-p', '--push-url', dest='push_url', default=None,
parser.add_argument('-p', '--push-url', dest='push_url', default='',
help='''git push-URL. Default is to not configure a separate push-URL.''')
parser.add_argument('-o', '--output', dest='output', default='Makefile',