Merge userIds
1 parent cc0806d commit ff90957bbaa4dfb417f85eb537d878572782f979
Michal Příhoda authored on 10 Sep 2023
Showing 4 changed files
View
core/shared/src/main/scala/works/iterative/core/UserHandle.scala
View
core/shared/src/main/scala/works/iterative/core/UserId.scala 100644 → 0
View
core/shared/src/main/scala/works/iterative/core/auth/PermissionService.scala
View
core/shared/src/main/scala/works/iterative/core/auth/UserId.scala