[phpMyAdmin Developers] Github pull request edit target branch

Madhura Jayaratne madhura.cj at gmail.com
Sat Jul 8 23:21:03 CEST 2017

On Sun, Jul 9, 2017 at 7:15 AM, Isaac Bennetch <bennetch at gmail.com> wrote:

> One thing I just noticed that GitHub added at some point is the
> ability to change which branch a pull request is targeting. In the
> past, if someone contributes a pull request but we prefer to target a
> different branch, it was a pain to adjust it. Now, it's a simple
> matter of using the Edit button at the top (as if one were about to
> edit the title). I presume that GitHub project administrators and the
> submitter can both easily do this.
> It's a small thing that's pretty handy.
Indeed, quite helpful.

Thanks and Regards,

Madhura Jayaratne
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.phpmyadmin.net/pipermail/developers/attachments/20170709/e33c05c2/attachment.html>

More information about the Developers mailing list