This is a demo on how to use git push pull