From 537ee67c09c9009f500446cacca6431c90cbf0bc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?H=C3=A5vard=20M=2E=20Ottestad?= Date: Wed, 18 Sep 2024 10:07:34 +0200 Subject: [PATCH] Update merge_main_to_develop.yml --- .github/workflows/merge_main_to_develop.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/merge_main_to_develop.yml b/.github/workflows/merge_main_to_develop.yml index d5d3d80d5aa..f4f12b53ba7 100644 --- a/.github/workflows/merge_main_to_develop.yml +++ b/.github/workflows/merge_main_to_develop.yml @@ -17,4 +17,4 @@ jobs: destination_branch: "develop" # If blank, default: main pr_title: "Merge main into develop" pr_body: "Automatically generated PR to keep develop in sync with main.\n\n **USE MERGE COMMIT TO MERGE THIS PR**.\n\nSee [merge_main_to_develop.yml](/eclipse/rdf4j/.github/workflows/merge_main_to_develop.yml)." # Full markdown support, requires pr_title to be set - github_token: ${{ secrets.GITHUB_TOKEN }} + github_token: ${{ github.token }}