Merge pull request ocaml#24286 from kit-ty-kate/unlabel-action

Add a Github Action that removes the "needs reporter action" label when the issue or PR has been commented on

Author: raphael-proust

.github/workflows/unlabel.yml

@@ -0,0 +1,12 @@
+name: Remove Label
+on:
+  issue_comment:
+    types: [created]
+jobs:
+  remove_label:
+    if: ${{ !contains(fromJSON(vars.MAINTAINERS), github.event.comment.user.login) && contains(github.event.issue.labels.*.name, fromJSON(vars.LABEL_TO_REMOVE)) }}
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions-ecosystem/action-remove-labels@v1
+        with:
+          labels: ${{ fromJSON(vars.LABEL_TO_REMOVE) }}