git://git.onelab.eu
/
plcapi.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
5af2c5c
)
oops
author
gggeek
<giunta.gaetano@gmail.com>
Wed, 21 Dec 2022 10:46:48 +0000
(10:46 +0000)
committer
gggeek
<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