jenkinsci/infra-puppet — Issue #29: Point maven.jenkins-ci.org:80 to maven.jenkins-ci.org:8081
Author: abayer
Created: 2012-01-31 22:55:17+00:00
State: open

Plugin devs behind some corporate firewalls can't publish to maven.jenkins-ci.org:8081 - it'd be nice if we exposed it on :80 as well as :8081.