Re: [ros-dev] Git Migration on October 3!