tree 2af9bff94e7789180b7689b16e54febd227e5365
parent 8a3948e9ae05f0053c9e85b653d43075129742de
author Luca Milanesio <luca.milanesio@gmail.com> 1633372149 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1633423918 +0100

Adopt modern Jenkins terminology for the server

The Jenkins terminology has been updated over a year
ago (see [1]) and it is time to align our Jenkin server
terminology to the new and more respectful term.

[1] https://www.jenkins.io/blog/2020/06/18/terminology-update/

Change-Id: Ieb8cde25c695d0dbee1c18e9d72b36f41f6c5f3d