Check for uncommited changes before pushing.

This commit is contained in:
Mario Zechner committed 2024-12-02 16:18:01 +01:00
1 parent b6520082e7
commit d07117e58b
1 file changed
+5
+5
View File
@@ -3,6 +3,11 @@ set -e
version=1.0.0
if [ -n "$(git status --porcelain)" ]; then
echo "Uncommitted changes exist"
exit 1
fi
if git rev-parse "v${version}" >/dev/null 2>&1; then
echo "Tag v${version} already exists"
exit 1