TypeScript Bot

@DanielMuller Thank you for submitting this PR! I see this is your first time submitting to DefinitelyTyped 👋 — I'm the local bot who will help you through the process...

🔔 @darbio @skarum @StefH @buggy @y13i @wwwy3y3 @OrthoDex @MichaelMarner @daniel-cottone @kostya-misura @coderbyheart @palmithor @daniloraisi @simonbuchan @Haydabase @repl-chris @aneilbaboo @jeznag @louislarry @dpapukchiev @ohookins @trevor-leach @jagregory @dalen @loikg @skyzenr @redlickigrzegorz @juancarbonel @pwmcintyre...

@jamesorlakin, @simonbuchan Thank you for reviewing this PR! The author has pushed new commits since your last review. Could you take another look and submit a fresh review?

@simonbuchan Thank you for reviewing this PR! The author has pushed new commits since your last review. Could you take another look and submit a fresh review?

@DanielMuller: Everything looks good here. I am ready to merge this PR (at 50e944b) on your behalf whenever you think it's ready. If you'd like that to happen, please post...

@trim21 Thank you for submitting this PR! ***This is a live comment which I will keep updated.*** ## 1 package in this PR * `greasemonkey` — [on npm](https://www.npmjs.com/package/greasemonkey), [on unpkg](https://unpkg.com/browse/greasemonkey@latest/)...

🔔 @kotas @nikolay-borzov — please [review this PR](https://github.com/DefinitelyTyped/DefinitelyTyped/pull/62262/files) in the next few days. Be sure to explicitly select **`Approve`** or **`Request Changes`** in the GitHub UI so I know what's...

@Trim21 The CI build failed! Please [review the logs for more information](https://github.com/DefinitelyTyped/DefinitelyTyped/commit/a6fd1b1e026571338d2435e4977099304077c61e/checks?check_suite_id=8295005028). Once you've pushed the fixes, the build will automatically re-run. Thanks! **Note: builds which are failing do not...

Re-ping @kotas, @nikolay-borzov: This PR has been out for over a week, yet I haven't seen any reviews. Could someone please give it some attention? Thanks!

@MilenaCh Thank you for submitting this PR! ***This is a live comment which I will keep updated.*** ## 1 package in this PR * `kendo-ui` — [on npm](https://www.npmjs.com/package/kendo-ui), [on unpkg](https://unpkg.com/browse/kendo-ui@latest/)...