use a script for git push