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

[Bert Freudenberg]

On 09.01.2013, at 11:30, Ken Causey <ken at kencausey.com> wrote:

> 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?


My naming preferences is for role not implementation (e.g. rather "www.squeak.org" than "apache.squeak.org" or "nginx.squeak.org"). I like "build" a tiny bit better than "ci" because it's more descriptive to average people like me ;)

- Bert -