> On 15. Jun 2020, at 22:39, Markus Winter <[email protected]> wrote:
> 
> Second the server is also just plain agent (more or less). For this we
> could use the term "main"  as the default label.

That's what I proposed earlier in the thread as well.

'main' seems reasonable, but still has the connotation that it's actually a 
good idea to use this node, when it rarely is.

-- 
You received this message because you are subscribed to the Google Groups 
"Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/jenkinsci-dev/300611FD-062F-40B8-9292-8E16170ABDE6%40beckweb.net.

Reply via email to