On Sep 20, 2011, at 11:27 AM, Damien Cassou wrote:

On Tue, Sep 20, 2011 at 11:13 AM, Marcus Denker <marcus.denker@inria.fr> wrote:

...

I tried to do this in the past and people did not want...

But considering that Hudson will be turned off in 10 days anyways and I will not move 1.2 to Jenkins (makes no sense with no changes...)

if you want to send the message that people can still propose and integrate patches for 1.2, it might be worth migrating. But someone has to say he will take care of 1.2.

If someone wants to take of 1.2 (because it's used in a company, for example), there is no problem to than set up a job on jenkins. But I will not do it... else I will do nothing else (I am already doing far too much boring-but-important little things). Marcus -- Marcus Denker -- http://marcusdenker.de