From fadd010942612eb405cab84adf6c341032f34f59 Mon Sep 17 00:00:00 2001
From: Jake Wheat <jakewheat@tutanota.com>
Date: Sat, 3 Feb 2024 13:47:18 +0000
Subject: [PATCH] add tags to release checklist

---
 release_checklist | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/release_checklist b/release_checklist
index 9d4d8a3..79dbd05 100644
--- a/release_checklist
+++ b/release_checklist
@@ -120,6 +120,14 @@ Upload candidate to hackage, run a test with example using this package
 
 If all good, release the candidate - a button on the hackage website.
 
-when and how do you add a tag to git?
+add a tag for the commit corresponding to the version:
+
+~~~~
+git tag -a v0.7.0 -m "0.7.0"
+git push origin v0.7.0
+~~~~
+
+This will add the tag to the current commit.
+
 
 Todo: try to turn as much of this into a script, with a nice report as possible, order this list properly, say what you need to check in more detail, say what else you need to redo if any steps need actions.