From ca9b6c0ca3c91ca8b4afd3f6f812e6526944884f Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 4 Dec 2020 09:49:47 +0100
Subject: [rm] clarify process for is_a_released_version = true

---
 dev/doc/release-process.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'dev')

diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md
index 9dec8e5eff..e0271d8c62 100644
--- a/dev/doc/release-process.md
+++ b/dev/doc/release-process.md
@@ -117,7 +117,7 @@ in time.
   Coq has been tagged.
 - [ ] Have some people test the recently auto-generated Windows and MacOS
   packages.
-- [ ] In a PR:
+- [ ] In a PR against `vX.X` (for testing):
   - Change the version name from alpha to beta1 (see
   [#7009](https://github.com/coq/coq/pull/7009/files)).
   - We generally do not update the magic numbers at this point.
@@ -155,7 +155,7 @@ in time.
 ## At the final release time ##
 
 - [ ] Prepare the release notes (see above)
-- [ ] In a PR:
+- [ ] In a PR against `vX.X` (for testing):
   - Change the version name from X.X.0 and the magic numbers (see
   [#7271](https://github.com/coq/coq/pull/7271/files)).
   - Set `is_a_released_version` to `true` in `configure.ml`.
-- 
cgit v1.2.3