Merge branch 'update.repo' into 'develop'

Update.repo

See merge request !131
2 jobs for develop in 31 seconds (queued for 5 seconds)