Workspaces#150

Merged

tomasMizera merged 12 commits intomasterfrom

Jan 26, 2023

Commits on Sep 9, 2022

add workspaces endpoint
uclaros
committed

Commits on Sep 19, 2022

Add global_namespace() and server_type() methods
uclaros
committed

Commits on Sep 20, 2022

black
uclaros
committed

Commits on Oct 25, 2022

Commits on Nov 8, 2022

Commits on Nov 9, 2022

remove unused method global_namespace
uclaros
committed

Commits on Nov 10, 2022

use enum for ServerType and remove unused var
uclaros
committed

Commits on Nov 16, 2022

rename global_namespace to global_workspace, fix blunder
uclaros
committed

Commits on Dec 8, 2022

use new api for server_type and workspace services
uclaros
committed

Commits on Dec 22, 2022

Merge pull request #152 from MerginMaps/config-server-type
uclaros
authored