And you've got to remember that imported projects are just that. I imported one of my projects, took it for a spin, and as a result of that am still happily using github.
I should have put exodus between quotes indeed. I haven't followed the numbers lately but I figured the voice would have been louder than the action. Let alone the people who already moved back to GitHub.
But I have always felt I could never discover projects outside of GitHub. Partly because adding GitHub as keyword to your search often gives the best results.
On a project I work on I even push the repository from Gitlab to GitHub just for the exposure.
So a good alternative to GitHub being the de facto open source project discovery site would be nice. That said I don't hate GitHub and I'm happy I can find almost everything I need there.