change in github workflow!

[Jesse Phillips via Digitalmars-d]

Good to hear!

> Unfortunately github doesn't allow to retarget pull requests, 
> so if a
pull targets the wrong branch, it needs to be reopened.

The targeted branch is only important for three reasons:

1. Documents the intent of the pull request (the specific point 
release being targeted)
2. Allows the use of auto merge
3. It avoid unrelated code change conflicts, as in added 
features/bug fixes that were not there in the desired point 
release.

The third is the only real reason that a pull request should need 
to be reopened. Otherwise a incorrectly targeted pull should be 
fairly easy to apply. But rejecting incorrectly placed pull 
requests can help to remind developers where to develop their 
request against.