Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: Fix -main tags on release (#4154)
These tags should be attached to the head of the main branch, so that is what we should check out during the tagging job. In v3.1.7, v3.2.5, and v3.3.3, we accidentally tagged the heads of the release branches. The `-main` tags for those releases had to be corrected manually.
- Loading branch information