Repository navigation
TagBot: Manual intervention needed for releases #250
Description
TagBot could not automatically create releases for the following versions.
Likely cause(s):
- The SSH deploy key is not configured or not added to this repository's deploy keys (Settings → Deploy keys)
Versions needing manual release
-
v0.12.34at commit02217d1e
How to fix
Run these commands locally:
gh release create v0.12.34 --generate-notesOr create releases manually via the GitHub UI.
Prevent this in the future
- Add the TagBot public key to this repository's deploy keys — see SSH deploy key setup
This issue was automatically created by TagBot. (Run logs)
Activity
oxinabox commentedon May 25, 2026
But I can see the release here: https://github.com/JuliaDiff/FiniteDifferences.jl/releases/tag/v0.12.34
I guess some how this is related to #246
@devmotion ?
devmotion commentedon Oct 27, 2026
I don't know, TagBot is sometimes weird. Maybe someone (me?) created the release manually. In any case, I checked the deploy key setup and it seems correct. I refreshed it regardless, which addresses the suggestion in the comment above.