Learn more about these different git repos.
Other Git URLs
f64b30a
frontend: do not allow to delete chroot that admin wasn't notified about