Add missing tools

planetary-social · Jun 20, 2023 · 839cd4e · 839cd4e
1 parent 8a8bd6f
commit 839cd4e
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/_tools/check_repository_unchanged.sh b/_tools/check_repository_unchanged.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+
+if [ -n "$(git status --porcelain 2>&1)" ]; then
+    echo "Detected changes in the repository!";
+    git --no-pager diff;
+    exit 1;
+else
+    echo "No changes detected in the repository.";
+fi