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

[Jacob Carlborg]

On 9 okt 2013, at 19:54, Walter Bright <walter at digitalmars.com> wrote:

> Point taken, and I won't in the future!
> 
> (And I do thank everyone here for helping me out with git.)


Perhaps you should change your git settings for push.

Add the following:

[push]
    default = simple

To your git config. It's located in your home directory: ~/.gitconfig. With this change it will only push the current branch and if there is a matching branch name in the remote.

For more information see:

https://www.kernel.org/pub/software/scm/git/docs/git-config.html

Search for "push.default".

-- 
/Jacob Carlborg