diff options
| -rw-r--r-- | src/tools/RELEASE_CHANGES | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/tools/RELEASE_CHANGES b/src/tools/RELEASE_CHANGES index dc1b300a352..b7963c2449c 100644 --- a/src/tools/RELEASE_CHANGES +++ b/src/tools/RELEASE_CHANGES @@ -68,12 +68,14 @@ For Major Releases Starting a New Development Cycle ================================ +* Typically, we do pgindent and perltidy runs just before branching + * 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 + git push origin master:refs/heads/REL_10_STABLE * Add new branch's name to list in src/tools/git_changelog |