From 3078d5dab81292d43b99e1ed43f1819facaa1ba0 Mon Sep 17 00:00:00 2001
From: Nadja Reitzenstein <me@dequbed.space>
Date: Thu, 5 May 2022 19:21:51 +0200
Subject: [PATCH] add pre-push hook to check formatting

---
 tools/git-pre-push-hook | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100755 tools/git-pre-push-hook

diff --git a/tools/git-pre-push-hook b/tools/git-pre-push-hook
new file mode 100755
index 0000000..b47425a
--- /dev/null
+++ b/tools/git-pre-push-hook
@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+
+echo -e "Checking code formatting:\n=========================\n\n" 1>&2
+
+cargo fmt --check
+
+if [[ $? -ne 0 ]]
+then
+    o=$?
+    echo -e "\n\nRun \`cargo fmt --all\` before pushing please." 1>&2
+    exit $o
+fi