On Sat, Jun 16, 2018 at 8:51 PM, Alvaro Herrera
<alvherre@2ndquadrant.com> wrote:
> I don't necessarily object to the proposed change, but I think you
> should generally wait a bit longer for others to react.
What wait period do you think is appropriate in this case?
The doc section that I removed was a last minute addition to the
covering index commit, commit 8224de4f, something that I was heavily
involved in as a reviewer. I felt, rightly or wrongly, that I had
discretion to commit within a relatively short period of time (a
little over 24 hours) because of the specific circumstances: I knew
that the doc section was not well considered in the first place, I
thought that the question was clear cut, and I doubted that anyone
else would follow up at all.
--
Peter Geoghegan