remote-hg: add support for remote pushing
Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com> Signed-off-by: Jeff King <peff@peff.net>
Felipe Contreras committed
Nov 4, 2012 at 03:13 UTC
b4e956f7ef8c8d8e30577277b0ebd0840327d42f
1 file changed
+7
-2
contrib/remote-helpers/git-remote-hg
+7
-2
@@ -197,7 +197,7 @@ def fixup_user(user):
197
return '%s <%s>' % (name, mail)
198
199
def get_repo(url, alias):
200
- global dirname
200
+ global dirname, peer
201
202
myui = ui.ui()
203
myui.setconfig('ui', 'interactive', 'off')
@@ -526,7 +526,7 @@ def parse_tag(parser):
526
# nothing to do
527
528
def do_export(parser):
529
- global parsed_refs, bmarks
529
+ global parsed_refs, bmarks, peer
530
531
parser.next()
532
@@ -562,12 +562,17 @@ def do_export(parser):
562
563
print
564
565
+ if peer:
566
+ parser.repo.push(peer, force=False)
567
+
568
def main(args):
569
global prefix, dirname, branches, bmarks
570
global marks, blob_marks, parsed_refs
571
+ global peer
572
573
alias = args[1]
574
url = args[2]
575
+ peer = None
576
577
gitdir = os.environ['GIT_DIR']
578
dirname = os.path.join(gitdir, 'hg', alias)