[GitHub] [infrastructure-puppet] clambertus opened pull request #1200: update hostnames, allow rules for new proxy host

[GitHub]

[ Full content available at: 
https://github.com/apache/infrastructure-puppet/pull/1200 ]
This message was relayed via gitbox.apache.org for devnull@infra.apache.org