Auto add and remove of "status: changes-required" label (#13778)

* Auto remove of "status: changes-required" label

* Streamline edit

* Automatically add label changes-requested

* Remove review labels on changes requested

Author: koppor

.github/workflows/on-pr-changes-requested.yml

@@ -0,0 +1,18 @@
+name: Adapt PR status labels
+
+on:
+  pull_request_review:
+    types: [submitted]
+
+jobs:
+  label-changes-required:
+    if: github.event.review.state == 'changes_requested'
+    runs-on: ubuntu-latest
+    steps:
+      - name: Adapt labels
+        run: |
+          gh issue --repo ${{ github.repository }} edit ${{ github.event.pull_request.number }} --remove-label "status: ready-for-review"
+          gh issue --repo ${{ github.repository }} edit ${{ github.event.pull_request.number }} --remove-label "status: awaiting-second-review"
+          gh issue --repo ${{ github.repository }} edit ${{ github.event.pull_request.number }} --add-label "status: changes-required"
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/on-pr-opened-updated.yml

@@ -160,6 +160,12 @@ jobs:
           echo "✅ No merge conflicts"
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+  remove_label:
+    if: github.repository == 'JabRef/jabref'
+    name: Remove label "status: changes-required"
+    runs-on: ubuntu-latest
+    steps:
+      - run: gh issue --repo ${{ github.repository }} edit ${{ github.event.pull_request.number }} --remove-label "status: changes-required"
   upload-pr-number:
     if: github.repository == 'JabRef/jabref'
     runs-on: ubuntu-latest