Learn more about these different git repos.
Other Git URLs
37d0e81
[frontend] sort outdated chroots by name; fix #593