[ros-dev] Rethinking our Git merge workflow