Learn more about these different git repos.
Other Git URLs
7958c54
doc: use resalloc-maint command for removing all resources Since https://github.com/praiskup/resalloc/pull/79 we can delete all/unused builders more easily.