[plt-dev] Continuous Integration Server

From: Noel Welsh (noelwelsh at gmail.com)
Date: Thu May 28 07:44:20 EDT 2009

On Thu, May 28, 2009 at 12:03 AM, Jay McCarthy <jay.mccarthy at gmail.com> wrote:
> 2) A suggestion for a name [I'm thinking pis: the PLT Integration Server =P]

Unfortunate acronym.

DrDr?  (As in, the thing that checks DrScheme is healthy)
Doodlebug? (It runs around a lot, not really getting anywhere. [Also,
unfortunate connotations in line .ss -- gives the IRC trolls something
to talk about])
Astrolabe? (PLT Scheme is the sun around which PLaneT orbits. The
astrolabe predicts the orbits.)


Posted on the dev mailing list.