Skip to content

fixup old gitlab URLs

Vladimír Čunát requested to merge docker-repo-url into master

Almost all of them were getting redirected correctly, but why keep the old ones. Also update a couple nitpicks directly around.

Merge request reports