From 9a587d3a275f893dbcf46929e248130ea3e28e69 Mon Sep 17 00:00:00 2001
From: Paulchen Panther <16664240+Paulchen-Panther@users.noreply.github.com>
Date: Wed, 11 Mar 2020 17:24:05 +0100
Subject: [PATCH] The PR comment job has been removed (#719)

because this is now handled by our GitHub action app.
---
 .github/workflows/pull-request.yml | 17 -----------------
 1 file changed, 17 deletions(-)

diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml
index baebe645..1d0dde6a 100644
--- a/.github/workflows/pull-request.yml
+++ b/.github/workflows/pull-request.yml
@@ -6,23 +6,6 @@ on:
 
 jobs:
 
-###########################################
-###### GitHub Actions bot comment #########
-###########################################
-
-  comment_pr:
-    runs-on: ubuntu-latest
-    name: GitHub Actions bot comment
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v1
-
-      - name: Comment on PR
-        uses: thollander/actions-comment-pull-request@master
-        with:
-          message: "PR Artifacts on: [GitHub Actions](https://github.com/${{ github.repository }}/actions/runs/${{ github.run_id }})"
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-
 ######################
 ###### Linux #########
 ######################