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

[Jonathan M Davis]

On Wednesday, October 09, 2013 10:43:39 Walter Bright wrote:
> If I do:
> 
> git commit --amend -a
> git push origin branchname
> 
> it fails. I have to add the -f.

Yeah. That's required, because you altered your branch's history when you did 
the amend. The same happens if you rebase. -f is required any time you alter 
your branch's history (rather than simply adding more commits) but should not 
be required otherwise.

- Jonathan M Davis