TagBot: Manual intervention needed for releases

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

• v3.8.0 at commit a29a8d26
  • Error: Git command 'git -C /tmp/tagbot_repo_0znqjdtq push origin v3.8.0' failed: To https://github.com/SciML/DiffEqGPU.jl
    ! [remote rejected] v3.8.0 -> v3.8.0 (refusing to allow a GitHub App to create or update workflow .github/workflows/CI.yml without workflows permission)
    error: failed to push some refs to 'https://github.com/SciML/DiffEqGPU.jl' (provide workflow scope or avoid workflow changes)

How to fix

Run these commands locally:

git tag -a v3.8.0 a29a8d26d149b38ab8caad2b594cf31a10529959 -m 'v3.8.0' && git push origin v3.8.0 && gh release create v3.8.0 --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)

Start with the linked TagBot run logs and the TagBot troubleshooting guide, then check whether tag v3.8.0 and its GitHub release exist for commit a29a8d26. Done means the v3.8.0 release is available with generated notes or has been created through the GitHub UI.