i love that there’s this growing multiplicity of github-ish things, many of them open source.
it’d be great if they were federated or aggregated in some way, so we could choose not-necessarily-github and expect discovability, participation in discussions, pull requests across, etc wherever we host our own repositories. ht @bacchus1234