Flesh out RELEASE_CHANGES instructions for branching in git.

We have this info in the wiki, but it should be here too.

diff --git a/src/tools/RELEASE_CHANGES b/src/tools/RELEASE_CHANGES
index b76fe1a02a3bca399434ac653a4c4d27c5b64b12..fc11c099e41f8fc6569046608737400b6b685d7f 100644 (file)
--- a/src/tools/RELEASE_CHANGES
+++ b/src/tools/RELEASE_CHANGES
@@ -62,6 +62,11 @@ Starting a New Development Cycle
 ================================
 
 * Create a branch in git for maintenance of the previous release
+       o on master branch, do:
+               git pull           # be sure you have the latest "master"
+               git push origin master:refs/heads/"new-branch-name"
+         for example,
+               git push origin master:refs/heads/REL9_2_STABLE
 
 * Increment the major version number in src/tools/version_stamp.pl