GitHub now supports editing the target branch for PR

[Nick Sabalausky via Digitalmars-d]

On 11/15/2016 06:33 AM, Dicebot wrote:
> On 11/12/2016 12:34 PM, Sönke Ludwig wrote:
>> Not sure if this is common knowledge already, but it was new for me. If
>> you click the edit button at the top of a pull request on GitHub, you
>> now get a drop down to change the base branch to which the request will
>> be pulled. Really handy for PRs that should be targeted at a stable
>> branch, but instead target master.
>
> I think I have sent 3 or 4 support request to GitHub asking about it and
> finally it arrives! :) Makes even bigger difference if one has to
> maintain multiple version branches as opposed to plain stable/master.
>

This should be really nice to have for Deimos. Back when I had submitted 
something to Deimos, the way the whole project is set up, I found the 
whole process to be borderline unworkable - purely because GitHub 
provided no way to target any branch other than master.