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