> large that it makes the Github UI unresponsive, so I'll review the
> diff locally while check runs.
>

Right - I did the same, actually. You can grep/throw away most of the lines
that have imports in them as these are irrelevant.

D.

Reply via email to