Pharo-Jenkins github user

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.

Does somebody know who is the user?

Guille
--