"Ulrich Windl" [off-list ref] writes:
Hi!
AFAIK, "committing" in git is "kind of publishing your work"
It's not. It's "take a snapshot". Publish is "push" (to a public
place).
(others may pull it). I don't like publishing my mistakes ;-) Even
if no-one pulls the commit, your "undo" refers to "committing a fix
for the last committed mistake", right? Again, I don't really want
to document/archive (i.e. commit) my mistake. Or did I miss
something here?
git commit --amend
git reset HEAD^ and friends (to uncommit something)
--
Matthieu