diff --git a/pre-commit b/pre-commit index 5e4c92b4095516e38a2a97a230e10d7df4829110..57b3a4be082d3703b3748ce9dd496a42e42360af 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