this is a demo of how to use git and push pull