795 delete repository asynchonously

Shall fix #795.

I created this branch on top of #1026, not on top of staging.
Not changing this one because it is a migration.