Remove the technical github user as admin after configuring mirroring
Passed
Kristian Klausen
created pipeline for commit
d496bde4
, finished
For master
36 seconds, queued for 8 seconds