Re: PATCHES: Countdown for Septemeber 3rd - 06:00 GMT

[David Kastrup]

Frédéric Bron <address@hidden> writes:

> Hi,
>
>> Countdown – September 3rd – 06:00 GMT
>> 3513 Enhancement Frederic Bron Push Patch: removed unused code:
>> functions that are declared but never defined and stream.hh
>> 3511 Enhancement Frederic Bron Push Patch: removed unused header
>> tie-column-format.hh
>> Countdown – September 6th – 06:00 GMT
>> 3513 Enhancement Frederic Bron Push Patch: removed unused code:
>> functions that are declared but never defined and stream.hh
>> 3511 Enhancement Frederic Bron Push Patch: removed unused header
>> tie-column-format.hh
>
> What does this exaclty mean when the countdown message says Push? It
> seems that the Countdown message for the 3rd and for the 6th of
> September are identical and I do not see these patches pushed to
> origin/master.

It means that the patches can be pushed to staging.  It doesn't mean
that somebody feels magically responsible for doing so in case that the
author does not have push privileges himself (there are quite a few
people with push privileges so most people don't know whether a given
person has push privileges or not).

Can you send me the respective commits formatted via git format-patch?
That makes it easy for me to push them for you.

-- 
David Kastrup