Pre-Push Time Saver A little time saver using the git pre-push hook 2 min read • may 25, 2023 git • tips