From c5cda3aaf4ff6fe11a5b4120c05a73881246b58d Mon Sep 17 00:00:00 2001
From: Ned Batchelder <ned@nedbatchelder.com>
Date: Fri, 23 Dec 2022 17:21:44 -0500
Subject: docs: releases take a little bit longer now

---
 howto.txt | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/howto.txt b/howto.txt
index aded722f..b42f2228 100644
--- a/howto.txt
+++ b/howto.txt
@@ -31,8 +31,11 @@
     - IF NOT PRE-RELEASE:
         $ make sample_html
         check in the new sample html
-- Done with changes to source files, check them in.
-    $ git push
+- Done with changes to source files
+    - check them in on a branch
+    - wait for ci to finish
+    - merge to master
+    - git push
 - Build and publish docs:
     - IF PRE-RELEASE:
         $ make publishbeta
-- 
cgit v1.2.1