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

[David Nadlinger]

On Wed, Oct 9, 2013 at 7:43 PM, Walter Bright <walter at digitalmars.com> wrote:
> If I do:
>
>     git commit --amend -a
>     git push origin branchname
>
> it fails. I have to add the -f.

Yes, and that's fine. What is a bit dangerous is leaving the branch
name off with -f.

David