add bash script "push" for git push