On Wed, Mar 25, 2020 at 8:15 PM David Kastrup <[email protected]> wrote: > >> We don't push until the status becomes Push. Countdown is a last > >> chance for reviewers to comment. > > > > Sorry, I saw Valentin had pushed his, so I assumed this was OK. > > But it was an issue by someone else. Pushing changes of someone else > prematurely when they have not explicitly asked for it bereaves even the > original author of the ability to reconsider.
? David Grant doesn't have push access; there is no circumstance under which he would push this change himself. -- Han-Wen Nienhuys - [email protected] - http://www.xs4all.nl/~hanwen
