# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1469853233 25200
# Node ID 7d99080f276f49e3638ba13b4f5c1cd2dc4cc21f
# Parent  19156ccdc3e19c1ef9eda680d96a7428d5aae8a7
Fix rebuild option.

diff -r 19156ccdc3e1 -r 7d99080f276f hggit_sync.py
--- 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])