795 delete repository asynchonously

Shall fix #795.

I created this branch on top of #1026, not on top of staging.
Style/FileName: Use snake_case for source file names.