pushing a new file to repo on Github