Bug - Deleting an assignment keeps the name reserved
## Description When an assignment is deleted, the name stays reserved so no other assignment can be created with that name. ## Priority **D** - Assignments shouldn't be deleted too often. ## Definition of done When an assignment is deleted, its name should be mangled to make it extra unique and collision-free.
issue