On Wed, Dec 12, 2012 at 10:17 AM, Roy Stogner <email@example.com> wrote:
The PECOS CI server actually is publicly accessible. It's so hammeredright now that I'd rather not subject its interface to even more usage
until we get some new hardware going, but email me privately if you
want the URL to peek at occasionally.