Local repo `repo3` has been removed.
