Add merged PR to milestone and remove specific labels (ankidroid#10673)

.github/workflows/label.yml

@@ -0,0 +1,24 @@
+name: Remove Labels
+
+on:
+  pull_request:
+    types: [ closed ]
+
+jobs:
+  merge_job:
+    if: github.event.pull_request.merged == true
+    runs-on: ubuntu-latest
+    steps:
+    - uses: andymckay/labeler@master
+      with:
+        remove-labels: > 
+          Pending Merge, 
+          Waiting For Feedback, 
+          Needs Review, 
+          Review High Priority, 
+          Needs Second Approval,
+          Blocked by dependency, 
+          Needs a new dev, 
+          squash-merge, 
+          Keep Open, 
+          Stable

.github/workflows/milestone.yml

@@ -0,0 +1,16 @@
+name: PR Milestone
+
+on:
+  pull_request:
+    types: [ closed ]
+
+jobs:
+  milestone:
+    if: github.event.pull_request.merged == true
+    runs-on: ubuntu-latest
+    steps:
+      - uses: zoispag/action-assign-milestone@v1
+        with:
+          repo-token: "${{ secrets.GITHUB_TOKEN }}"
+          milestone: "2.16 release"
+