On Fri, Jan 27, 2012 at 10:11 AM, Camillo Bruni <camillo.bruni@inria.fr> wrote:
hi everyone,

I thought about mirroring the fresh artifacts from our jenkins server to the google-code site.
Like this we would have at least a second place to download fresh builds even if the jenkins site is down again.

What do you think?

(don't know much about google code api there, so:)

Automatically? :P�� (because if not, it's a pain in the ass to mantain, hehe)

Guille