[contributing] Nit on release process.

ejgallego · Oct 25, 2023 · 2b89fef · 2b89fef
1 parent 02452fb
commit 2b89fef
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -314,9 +314,10 @@ The checklist for the release as of today is the following:
 
 The above can be done with:
 ```
-export COQLSPV=0.1.7
+export COQLSPV=0.1.8
 git checkout main  && make                    && dune-release tag ${COQLSPV}
-git checkout v8.17 && git merge main  && make && dune-release tag ${COQLSPV}+8.17 && dune-release
+git checkout v8.18 && git merge main  && make && dune-release tag ${COQLSPV}+8.18 && dune-release
+git checkout v8.17 && git merge v8.18 && make && dune-release tag ${COQLSPV}+8.17 && dune-release
 git checkout v8.16 && git merge v8.17 && make && dune-release tag ${COQLSPV}+8.16 && dune-release
 ```