Merge branch 'ci-obs-repos' into 'master'
ci: update ODVR distros See merge request !1148
Self sign-up has been disabled due to increased spam activity. If you want to get access, please send an email to a project owner (preferred) or at gitlab(at)nic(dot)cz. We apologize for the inconvenience.
ci: update ODVR distros See merge request !1148
mentioned in commit e8a25a5e