much of activity pub/mastodon devs are notably anti github. much of the development happens on gitlab, codeberg, etc.