Robert Haas <robertmh...@gmail.com> writes: > On Wed, Apr 11, 2018 at 10:53 AM, Tom Lane <t...@sss.pgh.pa.us> wrote: >> What *does* take time is adding a link to the commit, so I'd happily >> drop that step. As Peter says, you can usually look in the commit >> log if you care.
> The trouble is that sometimes it's not very obvious which commit log > entry relates to which open item. Sure, but is annotating the wiki page that way worth the trouble? If the alternative is that committers refuse to update the wiki page at all, or decide to remove entries rather than move-and-add-a-link, we're not coming out ahead. I'm not particularly wedded to the above idea; I'm just proposing it as a compromise solution. regards, tom lane