merge-to-nightly action failed

Stream: nightly-testing

[Ruben Van de Velde]

https://github.com/leanprover-community/mathlib4/actions/runs/8636278088/job/23675777275

Switched to a new branch 'nightly-testing'
branch 'nightly-testing' set up to track 'origin/nightly-testing'.
Auto-merging .github/workflows/bors.yml
Auto-merging .github/workflows/build.yml
Auto-merging .github/workflows/build.yml.in
Auto-merging .github/workflows/build_fork.yml
Automatic merge went well; stopped before committing as requested
[nightly-testing 096044a7f7] Merge master into nightly-testing
To https://github.com/leanprover-community/mathlib4
 ! [remote rejected]       nightly-testing -> nightly-testing (refusing to allow a Personal Access Token to create or update workflow `.github/workflows/bors.yml` without `workflow` scope)
error: failed to push some refs to 'https://github.com/leanprover-community/mathlib4'

I manually pushed a merge. CC @Joachim Breitner if this is also in your wheelhouse :)

[Joachim Breitner]

I've seen this also with PRs from lean. I am unsure if this is a new problem, or maybe a consequence of your changes to the workflow files on nightly-testing - mostly guessing here, but I wouldn't be surprised if GitHub does strange things here.

On the phone right now, so if you want to try that, can you make sure that nightly-testing and master agree on the .github folder contents, just to rule that out?

(If we really need to adjust token permissions then I cannot help)