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 <bruce@momjian.us> https://momjian.us
EDB https://enterprisedb.com
If only the physical world exists, free will is an illusion.