GlcoinCore/elements
1
0
Fork 0
mirror of https://github.com/ElementsProject/elements.git synced 2026-08-15 12:51:00 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

contrib: Add support for http[s] URLs in github-merge

Browse source 
Sometimes it can be useful to use github-merge with read-only access
(say, for reviewing and testing).
This commit is contained in:
Wladimir J. van der Laan 2019-01-14 16:33:13 +01:00
parent 059a3cffdf
commit a4c5bbfcd3
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
contrib/devtools/github-merge.py
View file

@ -168,7 +168,10 @@ def main():
print("git config --global user.signingkey <key>",file=stderr) print("git config --global user.signingkey <key>",file=stderr)
sys.exit(1) 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 # Extract settings from command line
args = parse_arguments() args = parse_arguments()