What is the correct process for adding/editing rosdep keys?
Is there a documented process?
Is the accepted practice to make pull requests with the changes to the rosdep files here: https://github.com/ros/rosdistro/tree...
Thanks in advance for any clarifications/info.