script for git-push