Editing a file locally and push changes to GitHub