Number of repos in ros/rosdistro