Luckily, Git is distributed, so everyone can connect directly and exchange commits. /s