The "extra" and "clean" commands ignore the repository file if the
repository happens to be within the check-out.  Ticket [c7b35be88].