digitalmars.D - GitHub now supports editing the target branch for PR
- =?UTF-8?Q?S=c3=b6nke_Ludwig?= (5/5) Nov 12 2016 Not sure if this is common knowledge already, but it was new for me. If
- Dicebot (14/19) Nov 15 2016 protected-headers="v1"
- Nick Sabalausky (5/14) Nov 15 2016 This should be really nice to have for Deimos. Back when I had submitted...
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.
Nov 12 2016
protected-headers="v1" From: Dicebot <public dicebot.lv> Newsgroups: d,i,g,i,t,a,l,m,a,r,s,.,D Subject: Re: GitHub now supports editing the target branch for PR References: <o06r7d$1oh4$1 digitalmars.com> In-Reply-To: <o06r7d$1oh4$1 digitalmars.com> --IVl54qnuDxFHGUn4n4rBxrA9mlavpL826 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 11/12/2016 12:34 PM, S=C3=B6nke 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. --IVl54qnuDxFHGUn4n4rBxrA9mlavpL826--
Nov 15 2016
On 11/15/2016 06:33 AM, Dicebot wrote:On 11/12/2016 12:34 PM, Sönke Ludwig wrote: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.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.
Nov 15 2016