From 205fda29f5c8d338ba30a043b92c506653166a9b Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 29 Nov 2018 18:00:49 +0100
Subject: [release doc] vX.X branches are now automatically protected.

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

(limited to 'dev')

diff --git a/dev/doc/release-process.md b/dev/doc/release-process.md
index b33a1cbd73..b1c111685b 100644
--- a/dev/doc/release-process.md
+++ b/dev/doc/release-process.md
@@ -64,10 +64,8 @@
 
 ## On the date of the feature freeze ##
 
-- [ ] Create the new version branch `vX.X` and
-  [protect it](https://github.com/coq/coq/settings/branches)
-  (activate the "Protect this branch", "Require pull request reviews before
-  merging" and "Restrict who can push to this branch" guards).
+- [ ] Create the new version branch `vX.X` (using this name will ensure that
+  the branch will be automatically protected).
 - [ ] Remove all remaining unmerged feature PRs from the beta milestone.
 - [ ] Start a new project to track PR backporting. The proposed model is to
   have a "X.X-only PRs" column for the rare PRs on the stable branch, a
-- 
cgit v1.2.3