Re: why was this pushed?

2020-03-26 Thread David Kastrup
Han-Wen Nienhuys writes: > On Wed, Mar 25, 2020 at 8:15 PM David Kastrup 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

Re: why was this pushed?

2020-03-26 Thread Han-Wen Nienhuys
On Wed, Mar 25, 2020 at 8:15 PM David Kastrup 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

Re: why was this pushed?

2020-03-26 Thread pkx166h
Hello On 25/03/2020 19:15, David Kastrup wrote: Han-Wen Nienhuys writes: On Wed, Mar 25, 2020 at 7:40 PM Carl Sorensen 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.

Re: why was this pushed?

2020-03-25 Thread David Kastrup
Han-Wen Nienhuys writes: > On Wed, Mar 25, 2020 at 7:40 PM Carl Sorensen 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.

Re: why was this pushed?

2020-03-25 Thread Han-Wen Nienhuys
On Wed, Mar 25, 2020 at 7:40 PM Carl Sorensen 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. Note that it was marked countdown for push by today. > Thanks, > >

Re: why was this pushed?

2020-03-25 Thread Carl Sorensen
We don't push until the status becomes Push. Countdown is a last chance for reviewers to comment. Thanks, Carl On 3/25/20, 12:06 PM, "lilypond-devel on behalf of Han-Wen Nienhuys" wrote: This was marked as Countdown in your Monday mail. On Wed, Mar 25, 2020 at 5:55 PM James

Re: why was this pushed?

2020-03-25 Thread Han-Wen Nienhuys
This was marked as Countdown in your Monday mail. On Wed, Mar 25, 2020 at 5:55 PM James Lowe wrote: > > Added vowel transitions for lyrics master staging > authorDavid Stephen Grant > Wed, 25 Mar 2020 09:27:43 + (10:27 +0100) > committerHan-Wen Nienhuys > Wed, 25 Mar 2020

why was this pushed?

2020-03-25 Thread James Lowe
Added vowel transitions for lyrics master staging author    David Stephen Grant     Wed, 25 Mar 2020 09:27:43 + (10:27 +0100) committer    Han-Wen Nienhuys     Wed, 25 Mar 2020 09:27:43 + (10:27 +0100) commit    b7034e683d47b1e9bb11e5464a7e514912a0d9ba --- I don't see any where that