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.
