tweak for git push