editing on github online is not always a good idea