The title is misleading. The people who resigned were former USDS employees, not people brought in by Musk.