aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2020-10-27 13:09:17 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2020-10-27 13:11:31 +0200
commit2d73cab46b463fa61e1c6952008a14392b32374c (patch)
tree3bb589c44d4d189b703196f2a11cdae232f34ecc
parent0d1d47c5e183adc61dc60f735a1fe2422ca6c864 (diff)
Minor tweak to manage script
-rw-r--r--bpkg-util/manage.in4
1 files changed, 2 insertions, 2 deletions
diff --git a/bpkg-util/manage.in b/bpkg-util/manage.in
index 65ab378..337f254 100644
--- a/bpkg-util/manage.in
+++ b/bpkg-util/manage.in
@@ -199,7 +199,7 @@ for (( i=0; i != ${#pending_set[@]}; )); do
done < <(git -C "$src_dir" log --diff-filter=A --pretty=format:%h)
if [ "${#pending_seq[@]}" -eq 0 ]; then
- info "Good news, nothing to manage!"
+ info "good news, nothing to manage"
exit 0
fi
@@ -725,7 +725,7 @@ function migrate ()
# Pause to give the operator a chance to look at the commits before the list
# of remaining pending commits is displayed.
#
- read -p "Press Enter to continue: "
+ read -p "press Enter to continue"
}
# Push local changes to the remote source and/or destination git repositories.