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

[David Nadlinger]

On 8 Oct 2013, at 13:54, Jacob Carlborg wrote:
> On Oct 08, 2013, at 12:39 PM, Jonathan M Davis <jmdavisProg at gmx.com> 
> wrote:
>
>> though I'd generally expect you to only be pushing to upstream when 
>> creating
>> branches for releases and whatnot, not pull requests (I'm not sure 
>> that you
>> even _can_ create pull requests to the main repo from branches on the 
>> main
>> repo).
> 
> Git has no concept of pull requests. It's basically a Git workflow. So 
> no, you cannot create pull requests. But that might not be what you're 
> saying?

Jonathan was talking about making GitHub pull request from one branch of 
the repo to another, and yes, you can do that (just use the "New Pull 
Request" button on the Pull Request tab).

David