shorter message for removing local copy of repository