git://git.onelab.eu / plcapi.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 5af2c5c)
oops
authorgggeek <giunta.gaetano@gmail.com>
Wed, 21 Dec 2022 10:46:48 +0000 (10:46 +0000)
committergggeek <giunta.gaetano@gmail.com>
Wed, 21 Dec 2022 10:46:48 +0000 (10:46 +0000)
.githooks/pre-push.sh patch | blob | history

diff --git a/.githooks/pre-push.sh b/.githooks/pre-push.sh
index cecefd3..3de0777 100755 (executable)
--- a/.githooks/pre-push.sh
+++ b/.githooks/pre-push.sh
@@ -93,4 +93,4 @@ while read local_ref local_oid remote_ref remote_oid; do
     fi
 done
 
-exit 3
+exit 0
plcapi