| From: | Robert Treat <rob(at)xzilla(dot)net> |
|---|---|
| To: | Daniel Gustafsson <daniel(at)yesql(dot)se> |
| Cc: | pgsql-docs(at)lists(dot)postgresql(dot)org |
| Subject: | Re: Index / glossary adjustments for Git & GUC |
| Date: | 2025-08-13 14:23:08 |
| Message-ID: | CAJSLCQ06vuDVzfcf_dgKC8iZEq0v9muMqLqbns=DZYzEpNz_-g@mail.gmail.com |
| Views: | Whole Thread | Raw Message | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-docs |
On Wed, Aug 13, 2025 at 4:03 AM Daniel Gustafsson <daniel(at)yesql(dot)se> wrote:
>
> > On 13 Aug 2025, at 01:16, Robert Treat <rob(at)xzilla(dot)net> 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
| From | Date | Subject | |
|---|---|---|---|
| Next Message | PG Doc comments form | 2025-08-13 21:57:51 | Broken NewbieDoc Docbook Guide link |
| Previous Message | Daniel Gustafsson | 2025-08-13 08:03:43 | Re: Index / glossary adjustments for Git & GUC |