Update Platform Version from JetBrains Gateway Plugin#1

github-actions[bot] wants to merge 1 commit into

mainsourcegraph-testing/gitpod:mainfrom

jetbrains/gateway-plugin-platformsourcegraph-testing/gitpod:jetbrains/gateway-plugin-platformCopy head branch name to clipboard