ros metrics Users Packages ROS Distro Repos Answers Analytics Wiki Misc github
A collection of different metrics for measuring the number of users in the ROS community.