Add an example of pushing code to GitHub.
No longer have stable push to the origin server.