Comment by jbverschoor

Good thing git is a distributed system