What’s a bors, and why (don’t) you want it?
Bors-NG is a GitHub app that prevents merge skew: A problem where patches work at review time but don’t work when they’re actually merged because the main branch changed in the meantime. The classic example is when one patch renames a…