Ashutosh Bapat <ashutosh.ba...@enterprisedb.com> writes:
> On Wed, Apr 11, 2018 at 6:53 PM, Peter Eisentraut
> <peter.eisentr...@2ndquadrant.com> wrote:
>> Do people find it useful to move the resolved items to a separate
>> section on the page, instead of just removing them? I'm not sure that
>> the resolved sections are useful, compared to just using the git log.
> If we have a section for resolved items, we can keep track of all
> items. If we just delete the resolved items, we wouldn't know if it
> was a mistake or it was intentional removal.
It's not that much work to move the items rather than remove them,
so I'd vote for keeping up the practice. It has some value in terms
of tracking activity.
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.
regards, tom lane
