Build server using mirror has invalid HEAD for some reason. Let's for
now set explicit master.