ros/rosdistro — pull request #5855 by Sahloul (2014-09-29 21:52:33+00:00)
Title: Moved the releases to another repository

It is quit anonymity to mix the release and source branches in one repository!