4 ms·

Bors does have some github integration and it will automatically merge pull requests and I believe it does update the status, but yes, the details of its intera

by dbaupp 12y ago

Bors does have some github integration and it will automatically merge pull requests and I believe it does update the status, but yes, the details of its interactions are by posting normal comments.