Merge branch 'update.repo' into 'develop'

Update.repo

See merge request !133
2 jobs for develop in 31 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build Stage
passed build.dev #143885

00:00:19

 
  Test Stage
passed test #143886

00:00:11