[server] Some change to trigger a release#20678

roboquat merged 1 commit intomaingitpod-io/gitpod:mainfrom

gpl/produce-releasegitpod-io/gitpod:gpl/produce-releaseCopy head branch name to clipboard