Learn more about these different git repos.
Other Git URLs
970b2f7
frontend: longer info about projects that can be pinned Fixes: #982