Nicolas GrekasandClaude Opus 4.8 bbc7cc6f7f [ci] Fix BOT_TOKEN auth for Flex endpoint push and PR diff comment ...

The previous attempt still failed:

- The Flex push embedded the token in the URL, but actions/checkout had
  persisted an http.<host>.extraheader Authorization for the default
  GITHUB_TOKEN, which git sends in preference to the URL credentials —
  so the push authenticated as github-actions[bot] and got 403. Unset
  that header before pushing so the BOT_TOKEN in the URL is used.

- marocchino/sticky-pull-request-comment reads the token from its
  GITHUB_TOKEN input (default github.token), not the env var, so the
  read-only default token was still used. Pass it via "with:" instead.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

2026-05-29 18:22:54 +02:00

..

workflows

[ci] Fix BOT_TOKEN auth for Flex endpoint push and PR diff comment

2026-05-29 18:22:54 +02:00

PULL_REQUEST_TEMPLATE.md

Move checks to GHA

2021-07-09 11:23:49 +02:00

versions.json

Update versions.json

2025-12-02 14:28:33 +01:00