From 7383317134fe4546e381b3b9e52478393758a744 Mon Sep 17 00:00:00 2001 From: Adrian Ludwin Date: Fri, 24 Feb 2023 15:34:11 -0500 Subject: [PATCH] Update releasing docs --- docs/releasing.md | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/docs/releasing.md b/docs/releasing.md index e61120c57..08b8c977e 100644 --- a/docs/releasing.md +++ b/docs/releasing.md @@ -52,10 +52,9 @@ $ git checkout -b $ git push upstream ``` -Do _not_ create a pull request for this branch! Instead, if you're a repo -administrator, go to the Github UI and mark the branch as protected, which will -prevent people from deleting it by accident. Otherwise, ask a repo admin to do -this for you. +Do _not_ create a pull request for this branch! Any branch of the form `vX.Y` +will automatically be protected thanks to the rules configured on the Github +project. ## Create a release