This is a demo of how to use git push pull and such