Merging option for yujin init workspace
stonier opened this issue · comments
A command that allows a merge into the workspace with not just a rosinstall file, but a keyed rosinstall file in the yujin_tools database.
yujinrobot / yujin_tools
Tools and utilities for development, typically with ROS build environments.