[dmd-internals] Fixing github pull requests that I borked up

[David Nadlinger]

On Mon, Oct 7, 2013 at 9:44 PM, Walter Bright <walter at digitalmars.com> 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