Demo of how to use git push pull etc.