[plt-dev] Continuous Integration Server

doctordoctor is the right name :-)


On May 28, 2009, at 7:44 AM, Noel Welsh wrote:

> 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.)
>
> N.
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-dev