Here you have (albeit small) proof of some sort of trend: https://trends.google.com/explore?q=codeberg%2Cforgejo%2Cgitea%2Cgithub%2520alternatives&date=all&geo=

Here you have (albeit small) proof of some sort of trend: https://trends.google.com/explore?q=codeberg%2Cforgejo%2Cgitea%2Cgithub%2520alternatives&date=all&geo=Worldwide https://trends.google.com/explore?q=codeberg%2Cforgejo%2Cgit... Still, doesn't come close to popularity of GitHub itself today (https://trends.google.com/explore?q=codeberg%2Cforgejo%2Cgitea%2Cgitlab%2Cgithub&date=all&geo=Worldwide https://trends.google.com/explore?q=codeberg%2Cforgejo%2Cgit...), but I think the trend of moving away from GitHub is clear both in data and sentiment, both qualitative and quantitative.