the first use of git push