mention github mirror in docs