ros/rosdistro — pull request #3204 by wjwwood (2014-02-21 23:50:56+00:00)
Title: fix missing .git extensions on urls, added test to check for them

@dirk-thomas @tfoote