From f264c437a11f64a82166a873c57b3cd45361856e Mon Sep 17 00:00:00 2001
From: IS A DEV <106927495+is-a-dev-bot@users.noreply.github.com>
Date: Mon, 18 Jul 2022 20:45:58 +0100
Subject: [PATCH] Fix Bot

---
 .github/workflows/bot.yml | 26 ++++++++++++++------------
 1 file changed, 14 insertions(+), 12 deletions(-)

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