> For now, with distributed git, there is a question of how often you push the local copy to the master copy.
> It is a matter of someone needs to do the work.
> The more often the push, the more work.
It’s quite trivial to add a post-commit hook so that *every* commit to a local repo is immediately (assuming internet connectivity) made available in the public repo.
See http://stackoverflow.com/questions/7925850/how-to-automatically-push-after-committing-in-git for details.
It shouldn’t take any manual work at *all* to have a more-locally-accessible copy of the master sources in order to deal with connectivity problems.
In fact, the BIRT repo already *is* mirrored at GitHub: https://github.com/eclipse/birt/tree/Kepler and GoogleSource: https://eclipse.googlesource.com/birt/org.eclipse.birt/+/Kepler
So if they can do it, it should certainly be possible for others to do so, just the same. None of that removes the requirement put upon committers to make their commits to the master sources at Eclipse.org, rather than to some other, private repository.
I hope this helps clarify things.