Merge branch 'ci_hidden_key' into 'develop'

CI: change git and ssh setup

See merge request !489
1 job for develop in 3 minutes and 15 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Precheck
passed #3952
fast-build

00:03:15