Merge pull request #2901 from is-a-dev-bot/patch-5

Fix Bot

.github/workflows/bot.yml

@@ -10,15 +10,17 @@ jobs:
     name: instructions
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v2
+       - run: curl https://notify-api.is-a.dev/pr/merged/${{ github.event.pull_request.number }}
-      - name: Comment
          if: github.event.action == 'closed' && github.event.pull_request.merged == true
-        uses: actions/github-script@v3
+#      - uses: actions/checkout@v2
-        with:
+#      - name: Comment
-          github-token: ${{secrets.GITHUB_TOKEN}}
+#        if: github.event.action == 'closed' && github.event.pull_request.merged == true
-          script: |
+#        uses: actions/github-script@v3
-            const { hasLabel } = require(`${process.env.GITHUB_WORKSPACE}/scripts/action-utils.js`);
+#        with:
-            const { instructions } = require(`${process.env.GITHUB_WORKSPACE}/scripts/reply.js`);
+#          github-token: ${{secrets.GITHUB_TOKEN}}
-            if (hasLabel(context, 'domain'))
+#          script: |
-              console.log('Domain');
+#            const { hasLabel } = require(`${process.env.GITHUB_WORKSPACE}/scripts/action-utils.js`);
-            await instructions(context, github);
+#            const { instructions } = require(`${process.env.GITHUB_WORKSPACE}/scripts/reply.js`);
+#            if (hasLabel(context, 'domain'))
+#              console.log('Domain');
+#            await instructions(context, github);