Since the git repository has been moved to github, and the cyrusimap.org Jenkins instance points at the cyrusimap.org git repository, I'm assuming we can decommission both of these in the cyrusimap.org environment. If anyone has a reason why we shouldn't, let me know. Thanks! Dave