[dashboard] support start-with-options URL#15567

roboquat merged 1 commit intomaingitpod-io/gitpod:mainfrom

se/show-optionsgitpod-io/gitpod:se/show-optionsCopy head branch name to clipboard