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

[Walter Bright]

On 10/9/2013 10:45 AM, David Nadlinger wrote:
> 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.
>
>

Point taken, and I won't in the future!

(And I do thank everyone here for helping me out with git.)