workflows/check-dead-repos: Comment on PR

.github/workflows/check-dead-repos.yml

@@ -50,4 +50,22 @@ jobs:
           rm packages/*
           unzip packages.zip
       - name: Check dead repositories
+        id: check
         run: fish .github/workflows/check-dead-repos.fish
+      - name: Comment success on PR
+        if: ${{ always() && (github.event.workflow_run.event != 'pull_request' &&
+          github.event.workflow_run.conclusion != 'success') }}
+        uses: actions/github-script@v3
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          script: |
+            var fs = require('fs');
+            var issue_number = Number(fs.readFileSync('.pr_number'));
+            await github.issues.createComment({
+              owner: context.repo.owner,
+              repo: context.repo.repo,
+              issue_number: issue_number,
+              body: '${{ steps.check.conclusion }}' == 'success' ?
+                '✅ Everything looks OK! [Workflow ran successfully](https://github.com/${{github.repository}}/actions/runs/${{github.run_id}}).' :
+                '🔴 Check for dead repositories failed! [Workflow failed](https://github.com/${{github.repository}}/actions/runs/${{github.run_id}}).'
+            });