Manually running git push