When deleting a repo, we should invalidate the user quota. Deleting a repo is a "big" enough action to refresh the quota.