Re: [ros-dev] Rethinking our Git merge workflow