This repo has moved.July 1, 2024 ยท View on GitHubdt-mergebot is now part of microsoft/DefinitelyTyped-tools.