Edits to the Repository section

1. General editorial work
2. Removing GitHub as a repository since it isn't a good one as it doesn't satisfy key things like citability and preservation.