[plt-dev] Continuous Integration Server

http://www.youtube.com/watch?v=LjSjmw_7uIE

On Thu, May 28, 2009 at 10:23 AM, Matthias Felleisen
<matthias at ccs.neu.edu> wrote:
>
> 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
>
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev
>