Closed ltratt closed 1 month ago
@ratmice Feel free to press the "merge" button if the PR works for you -- you have full rights on this repo!
Thanks, I was just about to ask about how we want to handle that since things have changed a little bit in the review process now that we don't use bors any longer.
Yeah it's a bit messy, but the "merge" button hands things over to Buildbot, at which point it's the same as the bors days! I mostly miss bors try
...
If the user gave an incorrect path, they got an internal
unwrap
, or similarly unhelpful message, from lrlex and lrpar. This commit tells them what file was attempting to be read, which makes working out what's actually gone wrong much easier.