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.

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.

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.