From d9eb04fced82fc08eff72ef4ff1da9e95cbc99fd Mon Sep 17 00:00:00 2001
From: Michiel Meeuwissen <michiel.meeuwissen@gmail.com>
Date: Thu, 11 Jan 2024 16:07:38 +0100
Subject: [PATCH] How to tag.

---
 RELEASE.adoc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/RELEASE.adoc b/RELEASE.adoc
index 10df1f1..59b5afe 100644
--- a/RELEASE.adoc
+++ b/RELEASE.adoc
@@ -1,3 +1,7 @@
 = How to make a release
 
 Tagging is enough?
+
+ git tag 7.10.0
+ git push origin --tags
+