Migration to one GitHub repo for MoveIt!

Thanks but I already removed it from the migration notes and scritps after @tfoote’s reply, though I haven’t re-generated the overall moveit package yet.