Re: [ros-dev] Microsoft switched to Git (status?)