Learn more about these different git repos.
Other Git URLs
2c380f2
frontend: don't show repo files expired chroots The null-ed delete_after and non-null delete_notify means that the chroot went through EOL process, and chroot contents was already removed. Therefore we should treat it as expired. Fixes: #1682