git: fix lag in pre-push hook