From 1d28c68ae41cf72cdb306d6bc93c17f66f8a1cdb Mon Sep 17 00:00:00 2001
From: metanivek <metanivek@gmail.com>
Date: Fri, 26 Aug 2022 11:53:51 -0400
Subject: [PATCH] docs: add missing step for release

---
 RELEASE.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/RELEASE.md b/RELEASE.md
index 5e66ffee0c..185e893c15 100644
--- a/RELEASE.md
+++ b/RELEASE.md
@@ -146,6 +146,8 @@ tags and re-perform the required release steps:
 ```sh
 ; git tag -d X.Y.Z                        #  Erase git tag locally
 ; git push -d upstream X.Y.Z              #  Erase git tag on GitHib
+
+; dune-release tag                        #  Re-create tag
 ; dune-release distrib --skip-tests
 ; dune-release publish distrib --verbose
 ; dune-release publish doc --verbose      # ... if necessary