Switch to github mirror.