Google groups I can't comment but Github is a relative new thing. They were also still accepting patches on the mailing list(I believe the github pull request were mirrored to the ml or something like that). Bram was often replying to issues and pull request via email so github adoption doesn't seem to what Bram wanted. So no migration away from github.