On Wed, Apr 29, 2020 at 04:36:37PM +0000, PG Doc comments form wrote: > The following documentation comment has been logged on the website: > > Page: https://www.postgresql.org/docs/12/runtime-config-wal.html > Description: > > Would it be possible to add "edit this page" links to every PostgreSQL doc > page, pointing to the docs git repo, ideally on a site that allows > on-the-site editing without locally cloning i.e. github? This will make it > far easier to contribute tiny changes like adding more links in the text. > For example, https://www.postgresql.org/docs/12/runtime-config-wal.html has > a lot of useful information, but many setting keywords are not links, making > it harder to find. Commenting on that page that a link is missing seems > silly, whereas if there was an edit button, users could have submitted their > edits directly.
Wow, that sounds like a nice idea, but I have no idea how to do that. -- Bruce Momjian <br...@momjian.us> https://momjian.us EnterpriseDB https://enterprisedb.com + As you are, so once was I. As I am, so you will be. + + Ancient Roman grave inscription +
