> What open source project uses multiple DVCS repositories (e.g. bitbucket, github, sourceforge, sourcehut, etc) for one project in sync with each other? I haven't found a single one that does that.

There are some that have official mirrors on GitHub and perhaps even accept pull request here. But I think that only reinfoces the notion that GitHub is an effective monopoly.