Merge branch 'update.repo' into 'develop'

Update.repo

See merge request !133
2 jobs for develop in 31 seconds (queued for 1 second)