Gives instructions to editing a central Github repository with multiple users