dc23a17
backend: copr-backend-unknown-resalloc-tickets script This is useful to free the unused tickets. This can help with releasing tickets taken between server reboots (backend starts the workers from scratch, forgetting all the previous ticket ids).