On Sat, Jun 16, 2018 at 8:51 PM, Alvaro Herrera <alvhe...@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