[RFC]: add GitHub workflow/script for removing "Needs Review" label after a PR has been merged #125
Description
Currently, when we review PRs, we need to manually remove the "Needs Review" label after merge. This RFC proposes adding a workflow, or augmenting an existing workflow, to remove this label once a PR is merged and removing the need to perform manually clean-up.
I say only "merge" and not "close", as sometimes new contributors close and then reopen a PR and we don't want to lose the "Needs Review" label in those instances.
However, we could consider auto-removing the label for any PR which was closed and has an "auto-close" label, or a "duplicate" label. That would also be useful.