This is a demo of how to use git push pull etc