Sounds like a good idea to move over to GitHub. This will significantly help contribution form the community.

This will also include creating engineering git repository for prod branches.

Even projects like JGroups already miraculously moved to github