tweaking git push