JuliaApproximation / JuliaApproximation/ApproxFunSingularities.jl

TagBot: Manual intervention needed for releases

Open
#120 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

tagbot-manual
Dominant language
Julia
Stars
3
Forks
2
PR merge metrics
No merged PRs in 30d

Description

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

  • v0.3.14 at commit a319cb47
    • Error: Git command 'git -C /tmp/tagbot_repo_r6uxavng push origin v0.3.14' failed

How to fix

Run these commands locally:

git tag -a v0.3.14 a319cb47a5633b8d43d9c282b3c11ee71d912c77 -m 'v0.3.14' && git push origin v0.3.14 && gh release create v0.3.14 --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)

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by checking the TagBot run logs linked in the issue and the TagBot troubleshooting guidance for workflow-file changes. Verify whether tag v0.3.14 exists at commit a319cb47a5633b8d43d9c282b3c11ee71d912c77, then use the documented local commands or GitHub UI. Done means the tag and GitHub release for v0.3.14 are present.

Written by the indexing model from the issue text.

Assessment

Tech stack
git, github, github-actions
Domain
ci-cd, devops, release
Issue type
Bug
Difficulty
1/5
Estimated time
Under an hour
Activity status
Stale
Clarity
Clearly specified
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.