fixed example for git push