On Wed, Mar 27, 2024 at 3:13 PM Bruce Momjian <bruce@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 <postgres@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.