use github mirror for Command-T