From 68c9827b6596bf5b8f42bd9a94587125d15f1607 Mon Sep 17 00:00:00 2001 From: Damien Goutte-Gattat Date: Tue, 20 Feb 2024 11:02:15 +0000 Subject: [PATCH] Use a dedicated token for the ontobot workflow. This commit updates the ontobot workflow (`auto-pr-ontobot`) to make it use a dedicated authentication token, rather than the default GITHUB_TOKEN. This should ensures that PRs created by the bot can trigger other workflows, notably the CI workflow. related to #3223 --- .github/workflows/auto-pr-ontobot.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/auto-pr-ontobot.yml b/.github/workflows/auto-pr-ontobot.yml index d0664b9ea8..27f50fe5e9 100644 --- a/.github/workflows/auto-pr-ontobot.yml +++ b/.github/workflows/auto-pr-ontobot.yml @@ -47,7 +47,7 @@ jobs: id: gh-script-issue uses: actions/github-script@v6 with: - # github-token: ${{ secrets.GH_TOKEN }} + github-token: ${{ secrets.ONTOBOT_TOKEN }} script: | const issue_number = context.issue.number const repo = context.repo.owner+"/"+context.repo.repo @@ -57,7 +57,7 @@ jobs: id: gh-script-repo uses: actions/github-script@v6 with: - # github-token: ${{ secrets.GH_TOKEN }} + github-token: ${{ secrets.ONTOBOT_TOKEN }} script: | const repo = context.repo.owner+"/"+context.repo.repo return repo @@ -78,7 +78,7 @@ jobs: ochange process-issue ${{ env.resource }} \ -r ${{ steps.gh-script-repo.outputs.result }} \ -n ${{ steps.gh-script-issue.outputs.result }} \ - -g ${{ secrets.GH_TOKEN }} \ + -g ${{ secrets.ONTOBOT_TOKEN }} \ -p UBERON - name: Create Pull Request @@ -93,4 +93,4 @@ jobs: committer: ${{ env.ISSUE_CREATOR }} <${{ env.ISSUE_CREATOR }}@users.noreply.github.com> base: ${{ github.head_ref }} branch: ${{ env.branch-name }} - # token: ${{ secrets.GH_TOKEN }} + token: ${{ secrets.ONTOBOT_TOKEN }}