[plt-dev] Continuous Integration Server

From: Jay McCarthy (jay.mccarthy at gmail.com)
Date: Thu May 28 11:28:07 EDT 2009

Alright, DrDr it is.

Jay

On Thu, May 28, 2009 at 11: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
>
>



-- 
Jay McCarthy <jay at cs.byu.edu>
Assistant Professor / Brigham Young University
http://teammccarthy.org/jay

"The glory of God is Intelligence" - D&C 93


Posted on the dev mailing list.