Learn more about these different git repos.
Other Git URLs
8b2c8fe
frontend: add link to /user/repositories/ on the user detail page