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)
because disabled repos won't get updated, so they will appear with an empty name in the repo list otherwise
Closes #2513 (closed)