On Wed, Mar 27, 2024 at 3:18 PM David G. Johnston < david.g.johns...@gmail.com> wrote:
> On Wed, Mar 27, 2024 at 3:13 PM Bruce Momjian <br...@momjian.us> wrote: > >> On Wed, Mar 27, 2024 at 06:09:02PM -0400, Bruce Momjian wrote: >> > On Wed, Mar 27, 2024 at 11:05:55AM -0400, Robert Haas wrote: >> > > On Wed, Mar 27, 2024 at 10:43 AM Jelte Fennema-Nio < >> postg...@jeltef.nl> wrote: >> > > > Alright, changed the GUC name to "allow_alter_system" since that >> seems >> > > > to have the most "votes". One other option would be to call it >> simply >> > > > "alter_system", just like "jit" is not called "allow_jit" or >> > > > "enable_jit". >> > > > >> > > > But personally I feel that the "allow_alter_system" is clearer than >> > > > plain "alter_system" for the GUC name. >> > > >> > > I agree, and have committed your 0001. >> > >> > So, I email "Is this really a patch we think we can push into PG 17. I >> > am having my doubts," and the patch is applied a few hours after my >> > email. Wow. >> >> Also odd is that I don't see the commit in git master, so now I am >> confused. >> > > The main feature being discussed is in the 0002 patch while Robert pushed > a doc section rename in the 0001 patch. > > Well, the internal category name was changed though the docs did remain unchanged. David J.