Closed omus closed 2 months ago
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
HEAD
I need #318 to test locally so I'll rely on the CI for testing this change.
@christopher-dG can you review this?
Bump, I'd love to see this merged!
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