docs: add missing step for release

metanivek · Aug 26, 2022 · 1d28c68 · 1d28c68
1 parent f17c014
commit 1d28c68
Showing 1 changed file with 2 additions and 0 deletions.
diff --git 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