<div dir="ltr"><div><div><div>Some of the old docs builders are failing. The newer ones received updates, but I don't think some of the older ones did. Rather than fix, them I think we should delete them. I don't think they are needed anymore since the docs they produce will never change.<br></div><div><br></div><div>I am planning to delete the 2.13 and 2.14 docs builders on Thursday Jan 18th. If I should not do this, please let me know. The specific builders to be deleted are listed below:</div><div><br></div><div>docs-builder-2.13-build</div><div>docs-builder-2.13-dev</div><div>docs-builder-2.13-release</div><div>docs-builder-2.14-build</div><div>docs-builder-2.14-dev</div><div>docs-builder-2.14-release</div><div><br></div>If we do need them later, we could bring them back because their configs are stored as JJB configs in the pulp-ci repo.<br><br></div>All the best,</div><div>Brian<br></div></div>