gazebo-tooling / gzdev

Gazebo developers tool is an Outreachy project designed to facilitate many of the usual tasks that Gazebo developers face daily
Other
14 stars 3 forks source link

Add prerelease repositories for citadel development #11

Closed j-rivero closed 4 years ago

j-rivero commented 4 years ago

I'm not entirely sure where this fits within the rest of CI,

It's being used by our Jenkins script to install repositories (stable and/or prereleased) based on the project name and this configuration file. The idea is to put this tool in external services to have only one place to handle repository installation (instead of add/remove prerelease on every release).