Hacker News new | ask | show | jobs
by skydhash 67 days ago
Even before git has the worktree feature, you could just clone the repo again (shallowly if it’s big).