Without this, housekeeping may not make some objects unavailable
immediately, and disk space may go up instead of down. We've marked
the repository as read-only for the duration of the operation, so it
is safe to do this.