Learn more about these different git repos.
Other Git URLs
c08e472
[frontend] print soon-to-remove outdated chroots in red; see #593 Merges: PR#715