Re: Detailed release notes

On Wed, Sep 11, 2024 at 10:16:04AM -0400, Bruce Momjian wrote:
> On Sat, Sep 7, 2024 at 10:12:00AM +0800, jian he wrote:
> > On Sat, Sep 7, 2024 at 6:30 AM Jelte Fennema-Nio <postgres(at)jeltef(dot)nl> wrote:
> > >
> > > On Thu, 22 Aug 2024 at 21:34, Marcos Pegoraro <marcos(at)f10(dot)com(dot)br> wrote:
> > > > I understand your point, and agree with that for previous releases, but since we have a month only for version 17, will this process work properly until that date ?
> > > > I think a release notes is more read as soon as it is available than other months, isn't it ?
> > > > And this feature is just a HTML page, so if it's done manually or automatically, from the reader point of view it'll be exactly the same.
> > >
> > > Big +1 to this. It would definitely be great if we would have these
> > > commit links for previous release notes. But the PG17 GA release is
> > > probably happening in 19 days on September 26th. I feel like we should
> > > focus on getting the manual improvements from Jian He merged,
> > > otherwise we'll end up with release notes for PG17 on release day that
> > > are significantly less useful than they could have been. Let's not
> > > make perfect the enemy of good here.
> > >
> >
> > hi. Thanks for your interest.
> > patch updated.
> >
> >
> > I have proof-read release-17.sgml again,
> > making sure the commit url's commit is the same as
> > release-17.sgml comment's git commit.
>
> I will write a script to do this, but I am not sure I will have it done
> by the time we release Postgres 17.

I now see you have done the entire PG 17 release notes, so I can just
use your patch and work on a script later. I will apply your patch
soon.

--
Bruce Momjian <bruce(at)momjian(dot)us> https://momjian.us
EDB https://enterprisedb.com

When a patient asks the doctor, "Am I going to die?", he means
"Am I going to die soon?"