TagBot: Manual intervention needed for releases

[github-actions]

TagBot could not automatically create releases for the following versions. This may be because:

• The commits modify workflow files (.github/workflows/), which GITHUB_TOKEN cannot operate on
• The tag already exists but the release failed to be created
• A network or API error occurred

Versions needing manual release

• v2.5.1 at commit 4372f054
  • Error: Git command 'git -C /tmp/tagbot_repo_2q5x_80e push origin v2.5.1' failed: To https://github.com/JuliaGPU/oneAPI.jl
    ! [remote rejected] v2.5.1 -> v2.5.1 (refusing to allow a GitHub App to create or update workflow .github/workflows/DocsCleanup.yml without workflows permission)
    error: failed to push some refs to 'https://github.com/JuliaGPU/oneAPI.jl' (provide workflow scope or avoid workflow changes)

How to fix

Run these commands locally:

git tag -a v2.5.1 4372f054cd9075cc445e99aca0a37b3fc63d649d -m 'v2.5.1' && git push origin v2.5.1 && gh release create v2.5.1 --generate-notes

Or create releases manually via the GitHub UI.

Prevent this in the future

If this is due to workflow file changes, avoid modifying them in the same commit as version bumps, or use a Personal Access Token with workflow scope.

See TagBot troubleshooting for details.

---

This issue was automatically created by TagBot. (Run logs)