update pre-push

MichaelCurrin · MichaelCurrin · commit e05e9d44488e · 2026-04-25T10:33:24.000+02:00
diff --git a/hooks/pre-push b/hooks/pre-push
@@ -2,3 +2,4 @@
 
 git pull --rebase || git pull --rebase origin master
 make all
+make cli-install

Original file line number	Diff line number	Diff line change
`@@ -2,3 +2,4 @@`
`2`	`2`
`3`	`3`	`git pull --rebase \|\| git pull --rebase origin master`
`4`	`4`	`make all`
	`5`	`+make cli-install`