Right now, we perform repository deletions in-line, which can be incredibly slow for large repositories whose GC operation can take a while.

We should instead mark repositories as deleted, hide them, and then perform GC and cleanup in the background