ros-infrastructure/mirror
ROS Mirroring Config
Discovered public repositories for ros-infrastructure in the GitHub catalog.
ROS Mirroring Config
Public repository.
Helpful scripts for working with ros.org websites.
A deprecated tool for generating prerelease test jobs for old rosbuild based packages.
Public repository.
Public repository.
Source for the website
Public repository.
Tickets for answers.ros.org
Plugins and configurations for wiki.ros.org
Tools to work with catkinized rosdistro files
Public repository.
Public repository.
Scripts used on the build farm
Public repository.
A collection of scripts to convert ROS stacks to Catkin
ROS Enhancement Proposals
Standalone Python library for the catkin build system.
A light-weight version of rosdoc that does not rely on ROS infrastructure for crawling packages.
Public repository.
A release automation tool which makes releasing catkin (http://ros.org/wiki/catkin) packages easier.
rosdep multi-package manager system dependency tool
rospkg Python library for ROS
Catkin Sphinx Plugins
Build scripts and notes for catkin debian build pipeline.