ros-infrastructure/rosdistro — pull request #23 by dirk-thomas (2013-07-03 18:04:25+00:00)
Title: allow github urls without .git suffix

@wjwwood Please review.