[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: why was this pushed?

From: Han-Wen Nienhuys
Subject: Re: why was this pushed?
Date: Thu, 26 Mar 2020 09:41:31 +0100

On Wed, Mar 25, 2020 at 8:15 PM David Kastrup <address@hidden> 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 - address@hidden -

reply via email to

[Prev in Thread] Current Thread [Next in Thread]