search

DefinitelyTyped / dt-mergebot

The bot which handles auto-merging your PRs
https://devblogs.microsoft.com/typescript/changes-to-how-we-manage-definitelytyped/
MIT License
112 stars 44 forks source link

Allow other owners to merge when infrastructure is edited #437

Closed andrewbranch closed 2 years ago

andrewbranch commented 2 years ago

The bot offers it to them, but doesn’t respect the request.