automate git push with 'make push'