[public api] Proto definitions for tokens#14523

roboquat merged 1 commit intomaingitpod-io/gitpod:mainfrom

lau/proto-tokens-14280gitpod-io/gitpod:lau/proto-tokens-14280Copy head branch name to clipboard