remote-hg: add support to push URLs

Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Jeff King <peff@peff.net>

diff --git a/contrib/remote-helpers/git-remote-hg b/contrib/remote-helpers/git-remote-hg
index 45629e022f472cc4d13314c0715f323ab75490e4..a5023c92fa834addabf29ee9d533f2dcfb58365c 100755 (executable)
--- a/contrib/remote-helpers/git-remote-hg
+++ b/contrib/remote-helpers/git-remote-hg
@@ -9,12 +9,13 @@
 # Then you can clone with:
 # git clone hg::/path/to/mercurial/repo/
 
 # Then you can clone with:
 # git clone hg::/path/to/mercurial/repo/
 

-from mercurial import hg, ui, bookmarks, context
+from mercurial import hg, ui, bookmarks, context, util

 
 import re
 import sys
 import os
 import json
 
 import re
 import sys
 import os
 import json

+import shutil

 
 NAME_RE = re.compile('^([^<>]+)')
 AUTHOR_RE = re.compile('^([^<>]+?)? ?<([^<>]+)>$')
 
 NAME_RE = re.compile('^([^<>]+)')
 AUTHOR_RE = re.compile('^([^<>]+?)? ?<([^<>]+)>$')


@@ -574,6 +575,12 @@ def main(args):
     url = args[2]
     peer = None
 
     url = args[2]
     peer = None
 

+    if alias[4:] == url:
+        is_tmp = True
+        alias = util.sha1(alias).hexdigest()
+    else:
+        is_tmp = False
+

     gitdir = os.environ['GIT_DIR']
     dirname = os.path.join(gitdir, 'hg', alias)
     branches = {}
     gitdir = os.environ['GIT_DIR']
     dirname = os.path.join(gitdir, 'hg', alias)
     branches = {}


@@ -604,6 +611,9 @@ def main(args):
             die('unhandled command: %s' % line)
         sys.stdout.flush()
 
             die('unhandled command: %s' % line)
         sys.stdout.flush()
 

-    marks.store()
+    if not is_tmp:
+        marks.store()
+    else:
+        shutil.rmtree(dirname)

 
 sys.exit(main(sys.argv))
 
 sys.exit(main(sys.argv))