On Tue, May 18, 2021 at 09:44:09AM -0500, Justin Pryzby wrote: > As things stand, in this case I think it *should* be included, since the > backpatched change isn't the same as the change to HEAD (removing the GUC). > The git_changelog output might well be wrong in this case (or, arguably, the > "remove the GUC entirely" should've been a separate master-only commit than > the > "make the GUC do nothing" commit).
I think having the same commit message for different patches to different branches is an unwise behavior, particularly if the commit is release-note worthy. (I think it is fine if the patch is purely mechanical and hence not release-note worthy.) The master patch is hash 9f3665fbfc and the PG 13 patch is hash 9663d12446. -- Bruce Momjian <br...@momjian.us> https://momjian.us EDB https://enterprisedb.com If only the physical world exists, free will is an illusion.
