updated git_submodules_update_repos.sh

master
Hari Sekhon 3 days ago
parent 76489562f8
commit 59495f99eb

@ -86,7 +86,7 @@ run(){
done done
echo echo
if [ -z "${NO_PUSH:-}" ]; then if [ -z "${NO_PUSH:-}" ]; then
if [ -z "${NO_REVIEW_PUSH:-}" ]; then if [ -n "${REVIEW_PUSH:-}" ]; then
"$srcdir/git_review_push.sh" "$srcdir/git_review_push.sh"
else else
git push git push

Loading…
Cancel
Save