On Mon, 1 Dec 2008, Avery Pennarun wrote: > > For reference, I advised someone just yesterday to use "git reset > HEAD^" to undo an accidental "commit -a" instead of just "commit". Yeah, I guess the --mixed default of "git reset" is occasionally useful. > Also, as far as I know, "git reset HEAD filename" is the only > recommended way to undo an accidental "git add". The path-name based ones are actually a totally different animal than the non-pathname version of "git reset". With pathnames, it won't change the actual HEAD, so it's really a totally different class of command, just sharing a name. But: > How about calling it --merge instead? That's really what it does: > merges the diffs from (your current index) to (the requested index) > into (your working tree and your index). Sure, "git reset --merge" would probably be a fine form. Linus -- 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
