From 4568c5975f1bc71926a58bbc113270b7cd64d21a Mon Sep 17 00:00:00 2001
From: Andrea Ciceri <andrea.ciceri@autistici.org>
Date: Wed, 17 Sep 2025 17:45:55 +0200
Subject: [PATCH] docs: add final step on how to create a new GitHub release

---
 docs/development/release.md | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/docs/development/release.md b/docs/development/release.md
index ddc1f89..88c06b4 100644
--- a/docs/development/release.md
+++ b/docs/development/release.md
@@ -77,3 +77,14 @@ git pull origin main
 git tag v1.1.0
 git push origin v1.1.0
 ```
+
+### 5. Create GitHub Release
+
+Create the GitHub release using the CLI:
+
+```bash
+# Create release from tag with changelog
+gh release create v1.1.0 --title "Release v1.1.0" --notes-from-tag
+```
+
+Alternatively, you can create the release manually at https://github.com/mlabs-haskell/cardano.nix/releases/new and select the tag you just created.