Learn more about these different git repos.
Other Git URLs
This should make them much easier to edit (less mess).
Fixed by #121!
Login to comment on this ticket.