Comment Comment by dr4g0n You can just pull from someone's local copy, a git checkout is just like a remote (bare) repository that happens to have a tree. parent dr4g0n 11 years ago