[server] Fix the 'addComment' and 'addBadge' prebuild features in the Gitpod GitHub App#4043

Merged

jankeromnes merged 1 commit intomainfrom

jx/fix-github-app

Apr 23, 2021

Commits on Apr 23, 2021

[server] Fix TypeError: Cannot read property 'update' of undefined in GithubApp.onPrAddBadge
jankeromnes
committed