[Infra] Add tokens alternation

[JanKrivanek]

Motivation

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

[Copilot]

Pull request overview

This pull request implements token alternation for Copilot API calls to prevent quota overruns on a single token. The implementation adds a random token selection mechanism that distributes load across up to 8 different COPILOT_GITHUB_TOKEN secrets before running the skill-validator in the evaluation workflow.

Changes:

• Added a new workflow step to randomly select from configured Copilot tokens
• Updated the skill-validator step to use the dynamically selected token instead of hardcoded COPILOT_GITHUB_TOKEN_2

Comments suppressed due to low confidence (2)

.github/workflows/evaluation.yml:213

• The error message refers to multiple "COPILOT_GITHUB_TOKEN secrets" but the logic only checks if at least one token is configured. If the intention is to communicate that at least one token must be configured, consider updating the message to "No COPILOT_GITHUB_TOKEN secret is configured" (singular) for clarity.

            echo "::error::No COPILOT_GITHUB_TOKEN secrets are configured"

.github/workflows/evaluation.yml:219

• The log output reveals how many tokens are configured (e.g., "1 of 8 available tokens"). If token count is considered sensitive information, consider removing this from the output or making it less specific (e.g., just "Token selected successfully").

          echo "Selected ${NAMES[$IDX]} (1 of ${#TOKENS[@]} available tokens)"

---

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

[JanKrivanek]

Superseded by #96