Added explanation of pushing to github to notes