Learn more about these different git repos.
Other Git URLs
4affbc0
[frontend] don't print deleted projects