build_all_and_push.sh: Don't mute git pull