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