Update gcamp

cbachhuber · Aug 28, 2024 · e4de319 · e4de319
1 parent 13e3236
commit e4de319
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/config/zshrc b/config/zshrc
@@ -156,7 +156,8 @@ pastefinish() {
 # aliases
 function gcamp(){
   if ! [ -z $1 ]; then
-    git commit -am $1 && git push
+      # trying to commit a second time if the first time failed and was auto-fixed by pre-commit
+      (git commit -am $1 || git commit -am $1) && git push
   fi
 }
 function ff(){