From 27d7a0ffff1623572a642f3e45db3fc556dafec3 Mon Sep 17 00:00:00 2001
From: Stephan Seitz <stephan.seitz@fau.de>
Date: Sun, 5 Jul 2020 20:45:46 +0200
Subject: Add style-check script

---
 scripts/pre-push | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100755 scripts/pre-push

(limited to 'scripts/pre-push')

diff --git a/scripts/pre-push b/scripts/pre-push
new file mode 100755
index 00000000..00d4c507
--- /dev/null
+++ b/scripts/pre-push
@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+
+# Can be used as a pre-push hook
+# Just symlink this file to .git/hooks/pre-push
+
+echo "Running style check..."
+./scripts/style-check.sh
-- 
cgit v1.2.3