diff options
| author | Wladimir J. van der Laan <[email protected]> | 2019-01-14 16:33:13 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <[email protected]> | 2019-01-14 16:33:13 +0100 |
| commit | a4c5bbfcd3a12f310b26cccc78ded32dd3f32ebb (patch) | |
| tree | 82d01524f5c3a2437eb4b3f33f655f39c3842363 /contrib/devtools/github-merge.py | |
| parent | contrib: Detailed reporting for http errors in github-merge (diff) | |
| download | discoin-a4c5bbfcd3a12f310b26cccc78ded32dd3f32ebb.tar.xz discoin-a4c5bbfcd3a12f310b26cccc78ded32dd3f32ebb.zip | |
contrib: Add support for http[s] URLs in github-merge
Sometimes it can be useful to use github-merge with read-only access
(say, for reviewing and testing).
Diffstat (limited to 'contrib/devtools/github-merge.py')
| -rwxr-xr-x | contrib/devtools/github-merge.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/contrib/devtools/github-merge.py b/contrib/devtools/github-merge.py index 6712d4f3b..bbebd11e8 100755 --- a/contrib/devtools/github-merge.py +++ b/contrib/devtools/github-merge.py @@ -168,7 +168,10 @@ def main(): print("git config --global user.signingkey <key>",file=stderr) sys.exit(1) - host_repo = host+":"+repo # shortcut for push/pull target + if host.startswith(('https:','http:')): + host_repo = host+"/"+repo+".git" + else: + host_repo = host+":"+repo # Extract settings from command line args = parse_arguments() |