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.
---
[Visit Topic](
http://discourse.ros.org/t/repository-consolidation-moving-released-packages-to-another-repo/327/3) or reply to this email to respond.
To unsubscribe from these emails, [click here](
http://discourse.ros.org/email/unsubscribe/8cd19b0983fda63871d16e5a42af38ad2076c4577c3bf50a462e390da0c2cdf6).
_______________________________________________
ros-release mailing list
ros-release@lists.ros.org
http://lists.ros.org/mailman/listinfo/ros-release
(text/plain)
