Enhancement: Synchronize with ergebnis/php-library-template

.github/workflows/integrate.yaml

@@ -97,10 +97,64 @@ jobs:
       )
 
     steps:
+      - name: "Request review from @ergebnis-bot"
+        uses: "actions/github-script@v2"
+        with:
+          github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
+          script: |
+            const pullRequest = context.payload.pull_request
+            const repository = context.repo
+
+            const reviewers = [
+              "ergebnis-bot",
+            ]
+
+            await github.pulls.createReviewRequest({
+              owner: repository.owner,
+              pull_number: pullRequest.number,
+              repo: repository.repo,
+              reviewers: reviewers,
+            })
+
+      - name: "Assign @ergebnis-bot"
+        uses: "actions/github-script@v2"
+        with:
+          github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
+          script: |
+            const pullRequest = context.payload.pull_request
+            const repository = context.repo
+
+            const reviewers = [
+              "ergebnis-bot",
+            ]
+
+            await github.issues.addAssignees({
+              assignees: reviewers,
+              issue_number: pullRequest.number,
+              owner: repository.owner,
+              repo: repository.repo,
+            })
+
+      - name: "Approve pull request"
+        uses: "actions/github-script@v2"
+        if: "github.actor != 'ergebnis-bot'"
+        with:
+          github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
+          script: |
+            const pullRequest = context.payload.pull_request
+            const repository = context.repo
+
+            await github.pulls.createReview({
+              event: "APPROVE",
+              owner: repository.owner,
+              pull_number: pullRequest.number,
+              repo: repository.repo,
+            })
+
       - name: "Merge pull request"
         uses: "actions/github-script@v2"
         with:
-          github-token: "${{ secrets.GITHUB_TOKEN }}"
+          github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
           script: |
             const pullRequest = context.payload.pull_request
             const repository = context.repo

.github/workflows/prune.yaml

@@ -18,7 +18,7 @@ jobs:
         with:
           days-before-close: 5
           days-before-stale: 60
-          repo-token: "${{ secrets.GITHUB_TOKEN }}"
+          repo-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
           stale-issue-label: "stale"
           stale-issue-message: |
             Since this issue has not had any activity within the last sixty days, I have marked it as stale.

.github/workflows/release.yaml

@@ -21,7 +21,7 @@ jobs:
       - name: "Create release"
         uses: "actions/[email protected]"
         env:
-          GITHUB_TOKEN: "${{ secrets.GITHUB_TOKEN }}"
+          ERGEBNIS_BOT_TOKEN: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
         with:
           draft: false
           prerelease: false

.github/workflows/triage.yaml

@@ -17,7 +17,7 @@ jobs:
       - name: "Add labels based on branch name"
         uses: "actions/github-script@v2"
         with:
-          github-token: "${{ secrets.GITHUB_TOKEN }}"
+          github-token: "${{ secrets.ERGEBNIS_BOT_TOKEN }}"
           script: |
             const branchPrefixLabels = {
               feature: "enhancement",