summaryrefslogtreecommitdiff
path: root/src/tools/pgindent
diff options
context:
space:
mode:
authorPeter Geoghegan2021-06-28 20:08:46 +0000
committerPeter Geoghegan2021-06-28 20:08:46 +0000
commitbc49ab3c277b6b478bdad80c1ae36f926a33b4a6 (patch)
tree78f4b3c3df51cbc70609ba51ebd624be7668df59 /src/tools/pgindent
parent6f5d9bce57a7bb29ba61f0bf4fd465a26de9fc28 (diff)
Improve pgindent release workflow.
Update RELEASE_CHANGES to direct the reader towards completing the steps outlined in the pgindent README, both as a pre-beta task and as a task to be performed when starting a new development cycle. This makes it less likely that somebody will miss updating the .git-blame-ignore-revs file when running pgindent against the tree as a routine release change task. Author: Peter Geoghegan <pg@bowt.ie> Reviewed-By: Tom Lane <tgl@sss.pgh.pa.us> Discussion: https://postgr.es/m/CAH2-Wz=2PjF4As8dWECArsXxLKganYmQ-s0UeGqHHbHhqDKqeA@mail.gmail.com
Diffstat (limited to 'src/tools/pgindent')
-rw-r--r--src/tools/pgindent/README3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/pgindent/README b/src/tools/pgindent/README
index 74412d29f8a..103970c1042 100644
--- a/src/tools/pgindent/README
+++ b/src/tools/pgindent/README
@@ -82,7 +82,8 @@ you used.
4) Add the newly created commits to the .git-blame-ignore-revs file so
that "git blame" ignores the commits (for anybody that has opted-in
- to using the ignore file).
+ to using the ignore file). Follow the instructions that appear at
+ the top of the .git-blame-ignore-revs file.
Another "git commit" will be required for your ignore file changes.