Merge proposals

ros-rosinstall in Ubuntu has no merge proposals.