git push and git push origin master