Use the JSON from the main comment to skip doing work

DefinitelyTyped / dt-mergebot

The bot which handles auto-merging your PRs

MIT License

112 stars 44 forks source link

Closed orta closed 3 years ago

orta commented 3 years ago

Re: the API for the playground plugin

orta commented 3 years ago

I'm gonna self merge - if it's wrong it'll only break me