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.