Yes, need to agree on a central place to push/pull and create PRs from. But my point is that right now people are using GitHub but if any point they want to cha

Yes, need to agree on a central place to push/pull and create PRs from. But my point is that right now people are using GitHub but if any point they want to change, or GitHub go down (or change licensing etc), they aren't beholden to them. Just push the git repository to somewhere else and agree to that. Other developers would confirm the git repo is the same.