diff options
| author | Tom Lane | 2012-06-14 02:11:06 +0000 |
|---|---|---|
| committer | Tom Lane | 2012-06-14 02:11:06 +0000 |
| commit | f32609db72f07d6477a4c7de2565cb244f2af969 (patch) | |
| tree | 83199310e4b45835cbd35b400e3c642f6baa8ce4 /src/tools | |
| parent | 357c5493349c5d7603739b9a44384b0e9f35fc25 (diff) | |
Flesh out RELEASE_CHANGES instructions for branching in git.
We have this info in the wiki, but it should be here too.
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/RELEASE_CHANGES | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/tools/RELEASE_CHANGES b/src/tools/RELEASE_CHANGES index b76fe1a02a..fc11c099e4 100644 --- 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 |