Matúš Horváth

As a poor man's solution, I think for many users it would be enough if the extension worked on all domains in the form of "https://github.*/*". This assumes that many...

A different example with the same issue: ```typescript import probot from 'probot'; async function approvePr(context: probot.Context | probot.Context) { const params = context.pullRequest({ event: 'APPROVE' as 'APPROVE', body: 'message' });...

(a bit of a rant follows, sorry) If I could suggest, could you please consider simplifying the types a bit? I get that the current system will do very detailed...

Thank you for the detailed explanation, really appreciate it. I see that it's not possible/easy to fix the types since they come from a different project. Unfortunately the suggested solution...