Closed Nhamakami7 closed 2 years ago
close #34. GitHub events don't actually have defined types yet, so we are using Webhook types for now. Will need to update again once types for GitHub events are released. ticket #74.
Can we also adjust the PR title / description before we merge?
close #34. GitHub events don't actually have defined types yet, so we are using Webhook types for now. Will need to update again once types for GitHub events are released. ticket #74.