No need to do a double checkout with CMSDIST, now that the config.map is in cms-bot.