You might be right but it sounds pretty thin. Are developers really roaming the internet aimlessly in search of something to develop on, and decide based on wh

You might be right but it sounds pretty thin. Are developers really roaming the internet aimlessly in search of something to develop on, and decide based on whether it's hosted on github or gitlab? That's not consistent with my experience, I use gitlab, bitbucket, github, gnu savannah, etc, due to various scattered projects and I don't find that the git hosting platform even registers as a consideration when finding projects to contribute to. On switching -- from GitHub, yes you might need some compelling reasons to go through all that resetup work. Migrating to GitLab from some ageing bespoke system is a much easier choice.