Git is natively distributed. One would hope he has a local copy of the repo.