Come to the Gnu Savannah (jk) strange to see so many projects moving off GitHub. I always used gitlab, and only grudgingly had a GitHub, because that is where every project was. So while seeing people move off GitHub validates my choice to not personally invest in it, I can’t help but be a little sad that We are splitting across the different git providers.