Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: Exit on failure in update-ref.sh
If any part of the script failed, it would silently ignore it. These bash options will make it fail on the first error and print the commands as they are executed.
- Loading branch information