Workflow Merge PR
Once all the feedback has been addressed, the PR will be merged into the master branch by a member with write permission (most members don't have this permission).
After the PR has been merged, it is eligible to be added to the release branch.
