Jenkins server name (was Re: [Box-Admins] Private keys)

[Ken Causey]

On 01/09/2013 12:43 PM, Chris Cunnington wrote:
> On 2013-01-09 1:37 PM, Ken Causey wrote:
> Fine by me. squeakci.org expires on 4 March and I'm happy to let it expire.
>> But I know you spent some money to get that domain name and it has a
>> rather specific purpose. I would appreciate it though if you would
>> suggest an alternative squeak.org hostname, perhaps ci.squeak.org or
>> jenkins.squeak.org which can be used as an alternative (alongside
>> squeakci.org) and perhaps even the primary access method by users.
> We can switch it to whatever you like.

Thank you.  I'm open to suggestions.  ci.squeak.org is nice due to it's 
shortness, but maybe it is too short or unclear?  jenkins.squeak.org? 
build.squeak.org?

>
> Chris