Understanding PR Workflow

[qbradq]

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?

Thanks!

[Coolthulhu]

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.

[qbradq]

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