From f757cc870e73ebd41d816f9f61111953643c0d2b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Agust=C3=ADn=20Borgna?=
 <121866228+aborgna-q@users.noreply.github.com>
Date: Wed, 29 May 2024 10:13:50 +0100
Subject: [PATCH] ci: fix the release-plz fix (#1120)

> 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.
---
 release-plz.toml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/release-plz.toml b/release-plz.toml
index c5d279255..9bb82cc34 100644
--- a/release-plz.toml
+++ b/release-plz.toml
@@ -26,6 +26,7 @@ release = true
 # Disabled until the first version is manually published
 publish = false
 git_tag_enable = false
+git_release_enable = false
 
 [[package]]
 name = "hugr-passes"
@@ -34,6 +35,7 @@ release = true
 # Disabled until the first version is manually published
 publish = false
 git_tag_enable = false
+git_release_enable = false
 
 [[package]]
 name = "hugr-cli"
@@ -42,3 +44,4 @@ release = true
 # Disabled until the first version is manually published
 publish = false
 git_tag_enable = false
+git_release_enable = false