We are updating our repository and I'm wondering if there is a central
list of best practices somewhere.
To add a new repo to the indexer we can just add it [1] and submit a
pull request or do we still need to announce it ros-users?
[1]
https://github.com/ros/rosdistro/tree/master/doc/groovy