TIL: a pipe into tail returns tail exit code, so a failed push looks like success
A failed git push piped into tail still exited 0, and the script moved on. set -o pipefail makes the pipeline report the failure.
A failed git push piped into tail still exited 0, and the script moved on. set -o pipefail makes the pipeline report the failure.