Update RELEASE.md for minor releases

diff --git a/RELEASE.md b/RELEASE.md
index 222c1e11ea8168a9074c704815bdc50bdfe4f410..903683bd6fef56682f28a5670514b9d0c7a15b56 100644 (file)
--- a/RELEASE.md
+++ b/RELEASE.md
@@ -62,8 +62,15 @@ Push the tag.
 For major releases: Create a new "support" branch:
 
     $ git checkout master
-    $ git checkout -b support/2.x
-    $ git push -u origin support/2.x
+    $ git checkout -b support/2.3
+    $ git push -u origin support/2.3
+
+For minor releases: Push the support branch and cherry-pick the release commit into master:
+
+    $ git push -u origin support/2.3
+    $ git checkout master
+    $ git cherry-pick support/2.3
+    $ git push origin master
 
 # External Dependencies