Антон

Как написали выше:
1) Инструментах вебмастера в Google выбрать нужное зеркало
2) В robots.txt у вас все правильно
3) Поставить 301 редирект с зеркала на основной домен

Зеркальщик придет и сменит основное зеркало сайта.

У google есть.