From d1bf922b1ab5608ed425339cfe41039d3ab75dc7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?William=20Wennerstr=C3=B6m?= <william@wstrm.dev>
Date: Tue, 7 Jul 2020 10:06:47 +0200
Subject: [PATCH] Tip about pre-push hook in contribution guidelines

---
 CONTRIBUTING.md | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index c9b5bc7e..f4d83d66 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -19,6 +19,22 @@ do
 done
 ```
 
+If you feel embarrassed every time the CI fails you can add the following
+snippet to `.git/hooks/pre-push`:
+
+```
+#!/bin/sh
+set -e
+./ci-build.sh
+```
+
+This will run the same tests that the CI runs and refuse the push if it fails.
+Note that it will run on the actual content of the repository directory and not
+what may have been staged/committed.
+
+If you're in a hurry you can add the `--no-verify` flag when issuing `git push`
+and the `pre-push` hook will be skipped.
+
 ## Pull Requests
 Before submitting a Pull Request please run valgrind and the clang static code analyzer.