Repository navigation

Real-time Collaboration: Change users to collaborators - #75237

Merged

ingeniumed merged 3 commits into

trunkfrom

migrate/users-to-collaborators

Feb 6, 2026

Merged

Real-time Collaboration: Change users to collaborators#75237
ingeniumed merged 3 commits into
trunkfrom
migrate/users-to-collaborators

Commits on Feb 5, 2026
- change users to collaborators
  ingeniumed
  committed
  74e6575
- Migrate users to collaborators for the types
  ingeniumed
  committed
  a781213
Commits on Feb 6, 2026
- Fix merge conflicts
  ingeniumed
  committed
  cbf55b6