GitHub now supports editing the target branch for PR

[Sönke Ludwig via Digitalmars-d]

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.