branch master updated (09d2d32 -> e725c4d)

[Giovanni Biscuolo]

biscuolo pushed a change to branch master
in repository maintenance.

      from  09d2d32   hydra: dns: Remove "qualif.ci".
       new  de07fc3   hydra: Add key for degrees380
       new  b84f7eb   hydra: Add key for atrent
       new  6585af8   hydra: milano: Add milano-guix-1 initial configuration.
       new  083394e   hydra: milano: Add andreas as sysadmin
       new  c7db19b   hydra: milano: Add bayfront user ssh key to 
authorized-keys
       new  b37014b   hydra: machines: Add milan-1 (nickname) to the database
       new  f4c18d2   hydra: milano: Add cbaines user as sysadmin
       new  202a06d   hydra: Add guix key of the Milano build machine.
       new  cb6ffbe   hydra: Register the Milano machine as a build machine for 
bayfront.
       new  c515bd8   hydra: milano: Add andreas ssh key to authorized-keys
       new  4a77f19   hydra: milano: Add qemu-binfmt-service-type with 
guix-support
       new  e725c4d   hydra: milano: Remove i686 from QEMU platforms

The 12 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:
 .../keys/guix/milano-guix-1.di.unimi.it-export.pub |   6 +
 hydra/keys/ssh/atrent.pub                          |   1 +
 hydra/keys/ssh/degrees380.pub                      |   1 +
 hydra/machines-bayfront.scm                        |  15 +++
 hydra/machines.rec                                 |  19 ++++
 hydra/milano-guix-1.scm                            | 124 +++++++++++++++++++++
 6 files changed, 166 insertions(+)
 create mode 100644 hydra/keys/guix/milano-guix-1.di.unimi.it-export.pub
 create mode 100644 hydra/keys/ssh/atrent.pub
 create mode 100644 hydra/keys/ssh/degrees380.pub
 create mode 100644 hydra/milano-guix-1.scm