Extend admin workspace search#4111

mads-hartmann merged 3 commits intomaingitpod-io/gitpod:mainfrom

mads/admin-workspace-search-3992gitpod-io/gitpod:mads/admin-workspace-search-3992Copy head branch name to clipboard