Add github mirror info into docs.