Skip to content

Support defining workspace operators#117

Merged
joefreeman merged 8 commits intomainfrom
workspace-operators
Feb 1, 2026
Merged

Support defining workspace operators#117
joefreeman merged 8 commits intomainfrom
workspace-operators

Conversation

@joefreeman
Copy link
Collaborator

This introduces the concept of workspace 'operators'. By moving the tokens out into a separate file (again), each token can refer to workspaces (using patterns) that the token has 'operator' access to (as well as specific projects that the token can access). A token that can access a project can see all workspaces (and their associated entities), but can only update workspaces that they're an operator for.

This also fixes/reworks how asset IDs are exposed so that we only expose external assets IDs to the worker.

And updates the server to automatically reload the projects/tokens when the files are updated.

@joefreeman joefreeman merged commit b6e839a into main Feb 1, 2026
3 checks passed
@joefreeman joefreeman deleted the workspace-operators branch February 1, 2026 22:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant