<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Jul 9, 2017 at 7:15 AM, Isaac Bennetch <span dir="ltr"><<a href="mailto:bennetch@gmail.com" target="_blank">bennetch@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">One thing I just noticed that GitHub added at some point is the<br>
ability to change which branch a pull request is targeting. In the<br>
past, if someone contributes a pull request but we prefer to target a<br>
different branch, it was a pain to adjust it. Now, it's a simple<br>
matter of using the Edit button at the top (as if one were about to<br>
edit the title). I presume that GitHub project administrators and the<br>
submitter can both easily do this.<br>
<br>
It's a small thing that's pretty handy.<br><br></blockquote><div><br></div><div>Indeed, quite helpful. </div></div><div><br></div>-- <br><div class="gmail_signature">Thanks and Regards,<div><br></div><div>Madhura Jayaratne<br><div><br></div></div></div>
</div></div>