changeset 3:7d99080f276f default tip

Fix rebuild option.
author Ludovic Chabant <ludovic@chabant.com>
date Fri, 29 Jul 2016 21:33:53 -0700
parents 19156ccdc3e1
children
files hggit_sync.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/hggit_sync.py	Tue Apr 05 22:10:29 2016 -0700
+++ b/hggit_sync.py	Fri Jul 29 21:33:53 2016 -0700
@@ -128,7 +128,6 @@
             epilog="Don't trust scripts you found on the web! Backup your stuff!")
     parser.add_argument(
             '--rebuild',
-            nargs=1,
             metavar='REMOTE',
             help="Rebuild the Git repo from the given remote URL.")
     parser.add_argument(
@@ -149,6 +148,7 @@
         if os.path.isdir(git_repo):
             shutil.rmtree(git_repo)
         print("Syncing it again into: %s" % git_repo)
+        print("                 from: %s" % res.rebuild)
         git_output = subprocess.check_output([
             'git', 'clone', '--bare', res.rebuild, git_repo])