Learn more about these different git repos.
Other Git URLs
70cb2a2
frontend: make sure user cannot pin projects that he doesn't have permissions to