Commits on Jul 1, 2019

1. remove regex config …

   The regex crate stopped using bors a long time ago. At that point, bors
   would take quite a long time and would occasionally get stuck. Given
   that regex's very low traffic volume, it just wasn't worth having.
   Moreover, it wasn't clear how or if bors could be used in a way that
   avoided merge commits.
   
   In any case, back in those days, turning off bors meant asking Alex to
   do it, but it looks like the config got carried into this repo, which I
   did not know existed until @RalfJung pointed it out to me:
   rust-lang/regex@2b4ac35#commitcomment-34142130

   

   BurntSushi committed Jul 1, 2019
   Configuration menu

   • View commit details
   • Copy full SHA for 0d3398c
   • Browse repository at this point

   Copy the full SHA

   0d3398c View commit details

   Browse the repository at this point in the history