2024-06-12 11:20:48 +02:00
|
|
|
#!/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
|
2024-06-12 11:53:24 +02:00
|
|
|
git push "$@"
|
2024-06-12 11:20:48 +02:00
|
|
|
git checkout release
|
2024-06-12 11:53:24 +02:00
|
|
|
git reset --hard main
|
2024-06-12 16:29:15 +02:00
|
|
|
git push -f
|
2024-06-12 11:20:48 +02:00
|
|
|
git checkout main
|
