Continous integration vs. sourceware.org

[Carlos O'Donell]

On Thu, May 31, 2012 at 1:28 PM, Carlos O'Donell
<carlos_odonell@mentor.com> wrote:
>> Any update on this?
>
> Ludovic, sorry this fell through the cracks.
>
> I've just put together a detailed message to overseers and asked for their comment.
>
> Sorry for being lame.

You have been unblocked.

Overseers asks that you ensure you are always doing a git pull.

Cheers,
Carlos.