@can @soop @jwildeboer One of the interesting federating aspects of git is that it can be (and is :) ) in both places at once - I set it up on github because I figured that'd maximize the chance of getting pull requests, but I've now moved my primary copy to codeberg. I can accept PRs from either place and push to both, which is cool.

git is also a good cautionary tale, though, of the fact that just because the protocol itself is radically decentralized doesn't mean the deployments will inevitably be so. A lot of us are (rightly, imo) worried about the dominance of github even though we can take our repos anywhere we want with relative ease.