Learn more about these different git repos.
Other Git URLs
When a project is mirrored from somewhere, it would be good to indicate this in the UI somewhere, so people contributing to it know that this isn't necessarily the canonical source and they probably should contribute at this source.
Metadata Update from @pingou:
- Issue assigned to pingou
- Issue set to the milestone: 5.11
Commit 37b3937 fixes this issue
to comment on this ticket.