Really abort the whole run when pushing to the remote repos fails (only github currently)
Description
Description
Details
Details
- Provenance
uqs Authored on - Parents
- rS244083: Use the right script and provide more error context on error.
- Branches
- Unknown
- Tags