first commit

2026-11-04 09:43:05 -07:00
commit c33736775b
25 changed files with 2056 additions and 0 deletions
@@ -0,0 +1,18 @@
+#!/bin/bash
+# Installed by coredesktop-dev; remove with: coredesktop-dev hooks remove
+#
+# Runs coredesktop-dev check before git push, and stops the push if it fails.
+
+CHECK="$HOME/.local/bin/coredesktop-dev"
+
+if [ ! -x "$CHECK" ]; then
+  echo "pre-push: coredesktop-dev isn't installed, so the checks didn't run."
+  exit 0
+fi
+
+if ! "$CHECK" check; then
+  echo
+  echo "pre-push: the checks failed, so nothing was pushed."
+  echo "To push anyway: git push --no-verify"
+  exit 1
+fi