Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Use a dedicated token for the Ontobot workflow. #2314

Merged
merged 1 commit into from
Mar 25, 2024

Conversation

gouttegd
Copy link
Collaborator

This commit updates the ontobot workflow to make it use a dedicated token (ONTOBOT_TOKEN), rather than the default GITHUB_TOKEN.

This should ensures that PRs created by the bot can trigger other workflows, notably the CI workflow.

(This is merely the same thing as what was already done on Uberon, for the same reasons.)

This commit updates the ontobot workflow to make it use a dedicated
token (`ONTOBOT_TOKEN`), rather than the default `GITHUB_TOKEN`.

This should ensures that PRs created by the bot can trigger other
workflows, notably the CI workflow.
@gouttegd gouttegd requested a review from hrshdhgd March 25, 2024 11:19
@@ -50,7 +50,7 @@ jobs:
id: gh-script-issue
uses: actions/github-script@v6
with:
# github-token: ${{ secrets.GH_TOKEN }}
github-token: ${{ secrets.ONTOBOT_TOKEN }}
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This one may not be needed.

@@ -60,7 +60,7 @@ jobs:
id: gh-script-repo
uses: actions/github-script@v6
with:
# github-token: ${{ secrets.GH_TOKEN }}
github-token: ${{ secrets.ONTOBOT_TOKEN }}
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This one may not be needed.

Copy link
Contributor

@hrshdhgd hrshdhgd left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The 2 extra places where the secret is passed made no difference to the workflow (when I first tested it). I kept it there at the time just in case. Looking at what the steps are doing, we may not need them at all but it doesn't really impact anything. So I leave it upto you to decide.

@gouttegd gouttegd merged commit 942903a into master Mar 25, 2024
1 check passed
@gouttegd gouttegd deleted the use-dedicated-ontobot-account branch March 25, 2024 14:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants