Using GitHub mirror for bin, mr, and shell repos