Example of a git push