From a4c5bbfcd3a12f310b26cccc78ded32dd3f32ebb Mon Sep 17 00:00:00 2001
From: "Wladimir J. van der Laan" <laanwj@gmail.com>
Date: Mon, 14 Jan 2019 16:33:13 +0100
Subject: [PATCH] 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).
---
 contrib/devtools/github-merge.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/contrib/devtools/github-merge.py b/contrib/devtools/github-merge.py
index 6712d4f3b6..bbebd11e8e 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()