aboutsummaryrefslogtreecommitdiff
path: root/bpkg-rep/manage.in
diff options
context:
space:
mode:
authorFrancois Kritzinger <francois@codesynthesis.com>2020-10-14 17:08:39 +0200
committerFrancois Kritzinger <francois@codesynthesis.com>2020-10-14 17:09:43 +0200
commitfa624b451a7d21165fd064d03b70c96f51e6b27c (patch)
tree80ff95fc620e4d5df7f394054c4f3a8e810c133e /bpkg-rep/manage.in
parent9f9bfa97ac4f4d7dc1d2ec6049df680804b1e583 (diff)
Re-enable git pulls and repo clean checks at startup
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).