> But seriously though, on what planet does checkout -- make sense as the best way to undo a file? In recent versions of git you can use git restore, which bes

> But seriously though, on what planet does checkout -- make sense as the best way to undo a file? In recent versions of git you can use git restore, which besides having a better name and not being overloaded with other checkout functionality, has a better interface IMO.