aboutsummaryrefslogtreecommitdiff
path: root/bpkg-rep/manage.in
diff options
context:
space:
mode:
Diffstat (limited to 'bpkg-rep/manage.in')
-rw-r--r--bpkg-rep/manage.in26
1 files changed, 13 insertions, 13 deletions
diff --git a/bpkg-rep/manage.in b/bpkg-rep/manage.in
index 738802e..ceede3c 100644
--- a/bpkg-rep/manage.in
+++ b/bpkg-rep/manage.in
@@ -86,19 +86,19 @@ fi
# Check that both git repositories are clean.
#
-# if [ -n "$(git -C $src_dir status --porcelain)" ]; then
-# error "git repository in '$src_dir' is not clean"
-# fi
-
-# if [ -n "$(git -C $dst_dir status --porcelain)" ]; then
-# error "git repository in '$dst_dir' is not clean"
-# fi
-
-# # Use run() to show the user that git is the source of the diagnostics.
-# # "Already up to date", for example, is too vague.
-# #
-# run git -C "$src_dir" pull >&2
-# run git -C "$dst_dir" pull >&2
+if [ -n "$(git -C $src_dir status --porcelain)" ]; then
+ error "git repository in '$src_dir' is not clean"
+fi
+
+if [ -n "$(git -C $dst_dir status --porcelain)" ]; then
+ error "git repository in '$dst_dir' is not clean"
+fi
+
+# Use run() to show the user that git is the source of the diagnostics.
+# "Already up to date", for example, is too vague.
+#
+run git -C "$src_dir" pull >&2
+run git -C "$dst_dir" pull >&2
# Load the source and destination repositories' submit configurations (section
# name/directory mappings and owners directory path).