This is a group of public toots with #github. You can play with this if you add an account on any Mastodon instantiation.