On 12/07/2015 01:44 PM, Stefan Kaltenbrunner wrote:
> Josh - can you shed some light on what our currently maintained source
> for that data is?
We started setting up a file source instead of the git server, but I
don't remember what happened with that. I think the task got
sidetracked as a low priority.
Maybe we need a pg.org S3 repo I can push stuff to?
--
Josh Berkus
PostgreSQL Experts Inc.
http://pgexperts.com