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