Skip to content

ci: use a GitHub App token for the issues board - #76

Closed
pkarolyi wants to merge 1 commit into
mainfrom
chore/project-bot-app
Closed

ci: use a GitHub App token for the issues board#76
pkarolyi wants to merge 1 commit into
mainfrom
chore/project-bot-app

Conversation

@pkarolyi

Copy link
Copy Markdown
Member

Every new issue failed to reach the board with Bad credentials. Two causes:

  • ADD_TO_PROJECT_PAT was last set in January 2024 and has expired.
  • The org rename left the project URL on orgs/DeepLcom, which is now a different, empty org. The GraphQL lookup does not follow the rename.

Changes:

  • Mint a short-lived installation token from the deepl-oss-project-bot App instead of using a PAT. Nothing expires, so nothing needs rotation.
  • Point the project URL at orgs/DeepL.
  • Bump actions/add-to-project from 0.5.0 to 2.0.0. The old version targets the deprecated Node 20 runtime.
  • Set permissions: {}, because the job does not use GITHUB_TOKEN.

The org secrets PROJECT_BOT_CLIENT_ID and PROJECT_BOT_PRIVATE_KEY are already in place for this repo.

@pkarolyi

Copy link
Copy Markdown
Member Author

Moving this to GitLab, which is the source of truth for this repo.

@pkarolyi pkarolyi closed this Aug 20, 2026
@pkarolyi
pkarolyi deleted the chore/project-bot-app branch August 20, 2026 11:20
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.

1 participant