Merge branch 'update.repo' into 'develop'

Update.repo

See merge request !131
2 jobs for develop in 31 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Build Stage
passed build.dev #143864

00:00:21

 
  Test Stage
passed test #143865

00:00:09