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

David Nadlinger code at klickverbot.at
Wed Oct 9 10:45:36 PDT 2013


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


More information about the dmd-internals mailing list