DefinitelyTyped / dt-mergebot

The bot which handles auto-merging your PRs
https://devblogs.microsoft.com/typescript/changes-to-how-we-manage-definitelytyped/
MIT License
112 stars 44 forks source link

Type check webhook payloads #363

Closed jablko closed 3 years ago

jablko commented 3 years ago

Use eventHandler.on()/eventHandler.receive(), which type checks both the event names and payloads. I opened separate PRs for #360, #361, and #362. Only the last commit belongs to this PR.

elibarzilay commented 3 years ago

Two comments left -- I added a commit that does them, so if you agree with them it can be merged.

(In any case, I'll do that when I'm on DT since I'll want to monitor the bot when this code is deployed.)