From 795968b4e7d9d10b6b7decc98711da3748700cb7 Mon Sep 17 00:00:00 2001
From: Claudio Bley <claudio.bley@tweag.io>
Date: Thu, 17 Aug 2023 09:15:14 +0200
Subject: [PATCH] Use an access token to trigger CI runs on created PRs

---
 .github/workflows/update-ghc.yaml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/update-ghc.yaml b/.github/workflows/update-ghc.yaml
index bcf8f8f8c..0f61e1937 100644
--- a/.github/workflows/update-ghc.yaml
+++ b/.github/workflows/update-ghc.yaml
@@ -32,6 +32,5 @@ jobs:
           title: "[update] GHC ${{ steps.ghc_update.latest }}"
           branch: "automation/update-ghc-${{ matrix.ghc }}"
           base: master
-          # TODO: needs a token so that workflows for the PR get triggered
-          #token: "${{ secrets.PR_TOKEN }}"
+          token: "${{ secrets.PR_TRIGGER_TOKEN }}"