From b6ba71f3fe171df383eade9189f41181a9a9bdb0 Mon Sep 17 00:00:00 2001
From: Anders Blomdell <anders.blomdell@control.lth.se>
Date: Mon, 2 Nov 2020 09:30:19 +0100
Subject: [PATCH] Do a git pull in pre-commit

---
 pre-commit | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pre-commit b/pre-commit
index 5e4c92b..57b3a4b 100755
--- a/pre-commit
+++ b/pre-commit
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-git pull
+git pull || exit 1
 
 if git rev-parse --verify HEAD >/dev/null 2>&1
 then
-- 
GitLab