Issue #138 resolved

After deleting repo, size remains

Jesper Noehr
created an issue

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