Closed clalancette closed 2 months ago
The repository already exists, but this is needed to give permissions to the maintainer.
@nuclearsandwich This is fallout from https://github.com/ros/rosdistro/pull/40674
Much appreciated!
Could this PR please be merged? Thanks!
This change has been deployed.
The repository already exists, but this is needed to give permissions to the maintainer.
@nuclearsandwich This is fallout from https://github.com/ros/rosdistro/pull/40674