3 ms·

The alternative for a beginner is rm -rf repo && git clone repo How is that better?

• cryptonector 7y ago
  "Someone told me git reset --hard. Oh shit!!! My extant work is all gone!" "Hmm, how to start from scratch? I guess I could save a few files, delete the workspace with good old trusty rm -rf, clone again, and restore those few files." If you can't see the difference between those two... Yes, the Git power user will know how to "start from scratch" without really starting from scratch and without losing extant work they'd rather save. And beginner users can do the second of the above. But teach a beginner to use git reset --hard and they'll hate Git and they'll hate you.
  • _pmf_ 7y ago
    OK, good point.