Learn more about these different git repos.
Other Git URLs
073b154
[frontend] test that disabled chroot doesn't get removed in project edit See #712, PR#719