IEEECollabratec
IEEEPublications
* Replaces all `IEEECollabratec` by `IEEEPublications` * Revert change in migration GitOrigin-RevId: f0445b726abdc5f65b7a0613d9979b081332685e
Create a script to remove users from IEEECollabratec GitOrigin-RevId: 028537722534ba0091cb8c50c8d0a8e6084af22d