I only moved the source code. I have not done anything with either of the release repositories yet, because the system is not quite ready for its next release.

The old repo is being retired, so its release repo probably will too.

I expect the rosdistro problem you mention will arise. I'll test your pull request checker, and let you know if it does not detect the problem.

I assume that the deb repositories should be OK, as long as the version numbers increase.