[Pharo-dev] Pharo-Jenkins github user

Hi everybody, I wanted to create a github user to use for ci integration (pharo-ci), and while configuring it I saw there is already a Pharo-Jenkins user. https://github.com/Pharo-Jenkins Does somebody know who is the user? Guille -- Guille Polito Research Engineer French National Center for Scientific Research - *http://www.cnrs.fr* <http://www.cnrs.fr> *Web:* *http://guillep.github.io* <http://guillep.github.io> *Phone: *+33 06 52 70 66 13