ros-infrastructure/jenkins_scripts — pull request #61 by dirk-thomas (2014-01-25 00:25:45+00:00)
Title: use repos.ros.org instead

@tfoote Please review.