There probably is, and if not, someone will have created one. But even then, "every developer has almost or exactly an identical copy of the repository in at le

There probably is, and if not, someone will have created one. But even then, "every developer has almost or exactly an identical copy of the repository in at least one location" is false for issues and pull requests; while nearly every developer can be assumed to have one or more "git clone" copies of the repository, few will have any copy of the issues and pull request comments.