Gitstar Ranking
Users
Organizations
Repositories
Rankings
Users
Organizations
Repositories
Sign in with GitHub
DefinitelyTyped
Fetched on 2024/09/27 11:13
DefinitelyTyped
/
dt-mergebot
The bot which handles auto-merging your PRs -
View it on GitHub
https://devblogs.microsoft.com/typescript/changes-to-how-we-manage-definitelytyped/
Star
112
Rank
228695
