TagBot
TagBot copied to clipboard
Always create tags via CLI
Fixes #239. There is a bug with the GitHub API where you can only create tags for SHA's which are the HEAD
commit on a branch (https://github.com/orgs/community/discussions/68932). Attempting to register tags for other SHAs results in failures like this: https://github.com/JuliaRegistries/TagBot/issues/239#issuecomment-2246021651