An unholy union of ROS and Debian packaging tools.
A git repository that builds docker images based on https://hub.docker.com/_/ros.
Because after you bloom stuff, you want to package stuff. Or, maybe you have something else you like to do.
Every git branch becomes a docker tag of the same name. Because docker. During image building, we
-
take the branch name to be the
${ROS_DISTRO}
(exceptmaster
which becomeslatest
) -
work around a few ROS peccadillos
-
install lots of Debian packaging tools