I've finally got around to write some documentation on how our Jenkins
setup works:
https://wiki.postgresql.org/wiki/Apt/Jenkins
There is no public access to Jenkins yet. Let me know if you want an
account there.
Christoph
--
cb@df7cb.de | http://www.df7cb.de/
