dt-mergebot is now part of microsoft/DefinitelyTyped-tools.
The bot which handles auto-merging your PRs
https://devblogs.microsoft.com/typescript/changes-to-how-we-manage-definitelytyped/
dt-mergebot is now part of microsoft/DefinitelyTyped-tools.
The bot which handles auto-merging your PRs
https://devblogs.microsoft.com/typescript/changes-to-how-we-manage-definitelytyped/
MIT License