Skip to content

[Infra] Add tokens alternation#96

Merged
ViktorHofer merged 2 commits into
mainfrom
dev/jankrivanek/alternate-tokens
Feb 23, 2026
Merged

[Infra] Add tokens alternation#96
ViktorHofer merged 2 commits into
mainfrom
dev/jankrivanek/alternate-tokens

Conversation

@JanKrivanek

Copy link
Copy Markdown
Member

Motivation

Prevents overrunning quota of a single token
Temporary measure prior org level accounting support added to copilot

Copilot AI review requested due to automatic review settings February 23, 2026 17:57
@JanKrivanek JanKrivanek requested review from ViktorHofer and removed request for Copilot February 23, 2026 17:58

@ViktorHofer ViktorHofer left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

As discussed offline with a group of people, this should be fine for now and is just a temporary action.

Copilot AI review requested due to automatic review settings February 23, 2026 21:05
@ViktorHofer ViktorHofer merged commit 0c1288d into main Feb 23, 2026
9 checks passed
@ViktorHofer ViktorHofer deleted the dev/jankrivanek/alternate-tokens branch February 23, 2026 21:05

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Pull request overview

This PR implements token alternation for the evaluation workflow to prevent quota exhaustion on a single GitHub Copilot token. The change adds a new workflow step that randomly selects from up to 8 configured COPILOT_GITHUB_TOKEN secrets and uses the selected token for skill validation runs.

Changes:

  • Added a "Select random Copilot token" step that collects all configured COPILOT_GITHUB_TOKEN secrets (1-8), randomly selects one, masks it, and exports it as a step output
  • Updated the GITHUB_TOKEN environment variable in the "Run skill-validator" step to use the randomly selected token instead of the hardcoded COPILOT_GITHUB_TOKEN_2

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

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.

3 participants