[server][github] record "pull" webhook events#13292

roboquat merged 1 commit into

maingitpod-io/gitpod:mainfrom

at/pull-eventsgitpod-io/gitpod:at/pull-eventsCopy head branch name to clipboard