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

[David Nadlinger]

On Wed, Oct 9, 2013 at 8:20 PM, Jonathan M Davis <jmdavisProg at gmx.com> wrote:
> 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.

Losing commits is not a problem thanks to the reflog – losing the
current working directory state would be, though.

David