On Mon, Oct 7, 2013 at 9:44 PM, Walter Bright <[email protected]> wrote:
> Git, miserable program that it is, has no:
>
> git undo
Actually it does, sort of, but only for local changes: There is "git
reflog", which lists all the different locations your HEAD pointed to,
and "git reset --hard HEAD@{1}" resets your branch to where it pointed
before the last operation.
This is more of a handy trick if you know what you are doing than a
fail-safe undo feature though.
David
_______________________________________________
dmd-internals mailing list
[email protected]
http://lists.puremagic.com/mailman/listinfo/dmd-internals
