dotnews-paas platform: lint every push to main and roll it out to the production paas server via paas-self-deploy (ci/Jenkinsfile.platform). Polls the repo every 2 minutes. false -1 30 -1 -1 H/2 * * * * false 2 @@REPO_URL@@ @@GIT_CRED_ID@@ */main false ci/Jenkinsfile.platform true false