This is just for hosting. Everything else: the reviews, PRs, bug reports are staying where they are.

I am not sure moving to github as such gives it any advantage if they don't make use of the remaining infrastructure.

The model Rust uses, I think, is the best way to make use of github and it's features.