PR #3462 Merge user and workspace settings

Merge user and workspace settings #3462

charliermarsh merged 1 commit into main from charlie/merge

charliermarsh added configuration

charliermarsh force pushed from 65a8bbf9 to e7b3db68 1 year ago

charliermarsh force pushed from e7b3db68 to f5862c4a 1 year ago

charliermarsh requested a review from

konstin 1 year ago

charliermarsh requested a review from

zanieb 1 year ago

charliermarsh force pushed from f5862c4a to 06cfd5a9 1 year ago

charliermarsh force pushed from 06cfd5a9 to 5028effe 1 year ago

Merge user and workspace settings

39b3f751

charliermarsh force pushed from 5028effe to 39b3f751 1 year ago

zanieb approved these changes on 2024-05-08

charliermarsh merged 1aa8ff82 into main 1 year ago

charliermarsh deleted the charlie/merge branch 1 year ago

Reviewers

zanieb

konstin

Assignees

No one assigned

Labels

configuration

Milestone

No milestone