Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
> you can't create a git release without a git tag So that was a lie. The releases [are still created](https://github.com/CQCL/hugr/actions/runs/9271742453/job/25507885562#step:4:281). #1119 shouldn't have dropped the `git_release_enable` lines.
- Loading branch information