[plt-dev] Continuous Integration Server

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

On Thu, May 28, 2009 at 10:28 AM, Robby Findler
<robby at eecs.northwestern.edu> wrote:
> 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
>>
> _________________________________________________
>  For list-related administrative tasks:
>  http://list.cs.brown.edu/mailman/listinfo/plt-dev
>



-- 
http://www.wisdomandwonder.com/