[main]
server_urls = https://puppet.debian.org:8081