update publishing instructions

davidism · davidism · commit 372b8e3af962 · 2023-06-18T14:46:15.000-07:00
diff --git a/CONTRIBUTING.rst b/CONTRIBUTING.rst
@@ -282,6 +282,7 @@ instructions.
     $ git pull
     $ git switch main
     $ git merge A.B.x
+    $ git push
     ```
 
 12. If this was a feature release, make a new branch for fix releases.
