So I hate to be that guy who doesn't know the simple things, but what is
Jenkins? The server has come up in discussion a few times since I joined
this mailing list about a month ago.
Actually if there is a Wiki page where these sorts of things are documented.
that would be fantastic.
Thank you,
Derric Atzrott
Computer Specialist
Alizee Pathology