diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2020-10-27 13:09:17 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2020-10-27 13:11:31 +0200 |
commit | 2d73cab46b463fa61e1c6952008a14392b32374c (patch) | |
tree | 3bb589c44d4d189b703196f2a11cdae232f34ecc | |
parent | 0d1d47c5e183adc61dc60f735a1fe2422ca6c864 (diff) |
Minor tweak to manage script
-rw-r--r-- | bpkg-util/manage.in | 4 |
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. |