After deleting repo, size remains

Issue #138 resolved
Jesper Noehr
created an issue

Which shows up if you re-create it, so that's bad.