Thank you everyone who contributed to bors-ng and especially to @notriddle!
We've been using it for a while in IntelliJ-Rust, and it really, really improved the whole development experience!
Now, the bors workflow even for single developer feels much better then the previous
./gradle check && git push, and it absolutely shines when it comes to pull requests from contributors.
Our team has been using bors-ng in a low-bandwidth environment in the D. R. Congo to great success. It’s a huge timesaver! Thanks @notriddle!
I’ve been quite impressed at the responsiveness of GitHub. From my impression, it is heavily cached which makes it fairly easy to load after the initial download of assets and resources. However, it also has a tendency to reload at the most inopportune times, such as navigating between the review/files and the main comment thread of a Pull Request. Despite a few quirks like that, it is pretty snappy.
Thanks for this tool it works, very well