Learn more about these different git repos.
Other Git URLs
c34a700
frontend: user should be able to pin co-maintained projects Fixes: #1002 Merges: #1016