"Shawn O. Pearce" <spearce@xxxxxxxxxxx> writes: >> I realize I can also do >> >> $ git reset HEAD file >> $ git checkout file > > All of those also work, but as you said, are less fun to type. :-) And why not "git checkout HEAD file" as the user manual teaches you to? - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
