4 ms·

Yes you're correct, the GitHub language bot failed. It created a bunch of incorrect changes and pull requests that repo teams rejected. It caused many complaint

by jph 5y ago

Yes you're correct, the GitHub language bot failed. It created a bunch of incorrect changes and pull requests that repo teams rejected. It caused many complaints to the author and to me. The author disabled it a few hours later.