Skip to content

Also migrate repository names

because disabled repos won't get updated, so they will appear with an empty name in the repo list otherwise

Closes #2513 (closed)

Merge request reports