An example of editing a file in Github