docs: correct RELEASE procedure for stable branch

2022-12-23 12:34:04 +00:00
parent 638058ef91
commit 81ce5e4961
1 changed files with 1 additions and 2 deletions
@@ -74,8 +74,7 @@ Set vars
 First make the release branch.  If this is a second point release then
 this will be done already.

-  * git branch ${BASE_TAG} ${BASE_TAG}-stable
-  * git co ${BASE_TAG}-stable
+  * git co -b ${BASE_TAG}-stable ${BASE_TAG}.0
  * make startstable

 Now