Hacker News new | ask | show | jobs
by donald_knuth 3105 days ago
Nothing about detached heads?