On Sun, Jun 26, 2022 at 6:02 PM Tom Lane <t...@sss.pgh.pa.us> 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 of the release note writing process. I don't have much of a clue about our docbook toolchain, beyond the basics (plus I have no front-end experience). Is anybody else aware of a reasonable approach to making git hashes discoverable from the html release notes? -- Peter Geoghegan
