<!DOCTYPE html>
<html>
<head>
<title></title>
</head>
<body><div>My plan is to eventually replace the cyrusimap.org Jenkins at <a href="http://ci.cyrusimap.org/">http://ci.cyrusimap.org/</a>  with <a href="http://cyrus.works">http://cyrus.works</a>.<br></div>
<div><br></div>
<div id="sig20251641"><div class="signature">Chris<br></div>
</div>
<div><br></div>
<div><br></div>
<div>On Wed, 3 Aug 2016, at 02:32 AM, Dave McMurtrie via Cyrus-devel wrote:<br></div>
<blockquote type="cite"><div>Since the git repository has been moved to github, and the cyrusimap.org<br></div>
<div>Jenkins instance points at the cyrusimap.org git repository, I'm assuming<br></div>
<div>we can decommission both of these in the cyrusimap.org environment.<br></div>
<div><br></div>
<div>If anyone has a reason why we shouldn't, let me know.<br></div>
<div><br></div>
<div>Thanks!<br></div>
<div><br></div>
<div>Dave<br></div>
</blockquote><div><br></div>
</body>
</html>