Learn more about these different git repos.
Other Git URLs
4e5dfcc
[frontend] allow individuals to ask permissions for group projects See #778