remove pre-push hook

PRL-PRG · Feb 16, 2024 · f70807b · f70807b
1 parent 2a6194c
commit f70807b
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 4 deletions.
diff --git a/.githooks/pre-push.sh b/.githooks/pre-push.sh
diff --git a/Makefile b/Makefile
@@ -21,4 +21,3 @@ clean:
 # Install pre-commit and pre-push hooks
 setup:
 	cp -f .githooks/pre-commit.sh .git/hooks/pre-commit
-	cp -f .githooks/pre-push.sh .git/hooks/pre-push
diff --git a/pom.xml b/pom.xml
@@ -77,7 +77,6 @@
         <configuration>
           <installHooks>
             <pre-commit>.githooks/pre-commit.sh</pre-commit>
-            <pre-push>.githooks/pre-push.sh</pre-push>
           </installHooks>
         </configuration>
         <executions>