helper to intercept git push