Improvements to the repose_jenkins server stuff