Understanding PR Workflow

Can someone help me understand the workflow this project uses for Pull Requests? Specifically I am trying to figure out why PR#11869 is still tagged for Comments Requested even though it’s been merged to master. What is left to be done on this PR? Is it something I can contribute to?


Merged PRs’ title and tags don’t really matter anymore.
Tags and titles are mostly there to identify the PR in the list, once a PR is merged, it exists pretty much only for 3 reasons: history, finding out which PR caused a bug and for the possibility of reverting the PR.

You can’t contribute to a merged PR itself, but you can contribute to the feature it introduced by making own PR modifying the feature.

Thank you for helping me better understand the process Coolthulhu! Love the name by the way :slight_smile: