Hello,
Currently the comments in the document are removed when converting to html.
I propose to keep them as html comments.
The release notes have the git commit information in the comments,
it would be great to have it in the html comments as well.
That can be done with the attached patch.
diff
On Sun, Jun 26, 2022 at 09:19:21PM +0900, Noboru Saito wrote:
> Currently the comments in the document are removed when converting to html.
> I propose to keep them as html comments.
OK. The format of the HTML pages is rather clean, so this would be
rather readable.
> The release notes have the
On Sun, Jun 26, 2022 at 5:19 AM Noboru Saito wrote:
> The release notes have the git commit information in the comments,
> it would be great to have it in the html comments as well.
>
> That can be done with the attached patch.
Sounds like a good idea to me.
--
Peter Geoghegan
On Sun, Jun 26, 2022 at 5:12 PM Michael Paquier wrote:
> Another is that you cannot notice those comments except when looking
> at the HTML source, which is something that most users won't really
> notice, while others willing to look at those particular commits could
> just ping this information
Peter Geoghegan writes:
> If this was available already, I would use it from time to time.
> Ideally we'd have something more complete than this, that makes
> the same information directly discoverable from the website (without
> being obtrusive). But this patch is a start.
I seem to recall some
On Sun, Jun 26, 2022 at 6:02 PM Tom Lane wrote:
> I seem to recall some discussion of letting the commit info pop up
> as a tooltip. Not sure that that counts as "unobtrusive", though.
I believe that I suggested this during the 2019 dev meeting at pgCon.
This happened during a general discussion
A customer recently pointed me to
https://www.postgresql.org/docs/current/sql-vacuum.html
and asked if I agree with the statement there that a nightly
scheduled VACUUM were a good idea:
"We recommend that active production databases be vacuumed frequently
(at least nightly), in order to remove de
