Merge branch 'onboard-kristian' into 'master'

Give Kristian full DevOps access

See merge request archlinux/infrastructure!407
2 jobs for master in 44 seconds (queued for 2 seconds)