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

Better approach for making the welcome comment first #414

Closed elibarzilay closed 3 years ago

elibarzilay commented 3 years ago

The last thing is not enough, since the label & column changes takes a good amount of vertical space in the timeline rendering.

(And one more random tweak.)