branch master updated (2438346 -> ee45ed6)

[Ludovic Courtès]

civodul pushed a change to branch master
in repository maintenance.

      from  2438346   hydra: berlin: Set GIT_SSL_CAINFO and GIT_EXEC_PATH for 
cuirass.
       new  be8cf77   hydra: berlin: Remove 'hacked-cuirass-shepherd-service'.
       new  ee45ed6   hydra: Switch from lsh to OpenSSH.

The 2 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 hydra/bayfront.scm                        |  8 ++--
 hydra/berlin.scm                          | 70 ++++---------------------------
 hydra/build-machine.scm                   |  8 ++--
 hydra/keys/lsh/andreas.pub                |  1 -
 hydra/keys/lsh/hydra.gnu.org.pub          |  1 -
 hydra/keys/lsh/ludo.pub                   |  1 -
 hydra/keys/lsh/mthl.pub                   |  1 -
 hydra/keys/lsh/rekado.pub                 |  1 -
 hydra/keys/ssh/andreas.pub                |  1 +
 hydra/keys/ssh/hydra.gnu.org.pub          |  1 +
 hydra/keys/ssh/ludo.pub                   |  1 +
 hydra/keys/ssh/mthl.pub                   |  1 +
 hydra/keys/ssh/rekado.pub                 |  1 +
 hydra/modules/sysadmin/build-machines.scm |  4 +-
 hydra/modules/sysadmin/people.scm         | 49 +++++-----------------
 15 files changed, 33 insertions(+), 116 deletions(-)
 delete mode 100644 hydra/keys/lsh/andreas.pub
 delete mode 100644 hydra/keys/lsh/hydra.gnu.org.pub
 delete mode 100644 hydra/keys/lsh/ludo.pub
 delete mode 100644 hydra/keys/lsh/mthl.pub
 delete mode 100644 hydra/keys/lsh/rekado.pub
 create mode 100644 hydra/keys/ssh/andreas.pub
 create mode 100644 hydra/keys/ssh/hydra.gnu.org.pub
 create mode 100644 hydra/keys/ssh/ludo.pub
 create mode 100644 hydra/keys/ssh/mthl.pub
 create mode 100644 hydra/keys/ssh/rekado.pub