From 214f4e38b10d883741dd2dc622b68b5eace02a11 Mon Sep 17 00:00:00 2001
From: Oliver Kopp <kopp.dev@gmail.com>
Date: Sat, 1 Jul 2023 22:18:56 +0200
Subject: [PATCH] Add link to build binary (#10049)

---
 .github/workflows/deployment.yml | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.github/workflows/deployment.yml b/.github/workflows/deployment.yml
index de5387f0f4c..40584e235b4 100644
--- a/.github/workflows/deployment.yml
+++ b/.github/workflows/deployment.yml
@@ -363,3 +363,11 @@ jobs:
           ssh_options: '-p 9922'
           src: 'build/distribution/'
           dest: jrrsync@build-upload.jabref.org:/var/www/builds.jabref.org/www/${{ steps.gitversion.outputs.branchName }}/
+      - name: Comment PR
+        if: steps.checksecrets.outputs.secretspresent == 'YES'
+        uses: thollander/actions-comment-pull-request@v2
+        with:
+          message: |
+            The build of this PR is available at <https://builds.jabref.org/pull/${{ github.event.pull_request.number }}/merge>.
+          comment_tag: download-link
+          mode: recreate