Jenkins pipelines for Digital Hub's regular tasks - View it on GitHub