Hacker News new | ask | show | jobs
by dr4g0n 4093 days ago
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.