BaseBandRewrite/scripts/release.sh
TudbuT d52d02a522
All checks were successful
/ Build BaseBand DSM & Broadway (push) Successful in 2m49s
ping people for successful releases, have there be force pushing on release
2024-06-12 16:29:15 +02:00

11 lines
No EOL
238 B
Bash

#!/bin/bash
if ! git diff-index --quiet --cached HEAD -- ; then
echo "Cannot release dirty git tree. Commit your changes to main first."
exit 1
fi
git push "$@"
git checkout release
git reset --hard main
git push -f
git checkout main