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

[Jonathan M Davis]

On Wednesday, October 09, 2013 19:48:48 David Nadlinger wrote:
> 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.

Though to be honest, I don't think that anyone should be messing around with 
resets (especially hard resets) without fully understanding what they're 
doing. git reset is a very handy feature to be sure, but it also makes it very 
easy to lose commits if you're not careful.

- Jonathan M Davis