On Wed, Aug 13, 2025 at 4:03 AM Daniel Gustafsson <[email protected]> wrote: > > > On 13 Aug 2025, at 01:16, Robert Treat <[email protected]> wrote: > > > The first patch removes the term "Git" from the acronyms section and > > instead creates an index entry that points to our source repository > > information. > > This was previously discussed in this thread: > > https://postgr.es/m/8241CED6-F408-4660-A1AA-F3393AA26219%40yesql.se >
If people feel strongly that users are getting real benefit from our docs providing a link to wikipedia to explain what git is, I don't see it but okay... but the true value add for me was adding the index entry for the source repository information, so I'd like to see that added either way. Robert Treat https://xzilla.net
