| ▲ | t43562 3 hours ago | |||||||
I don't know about this PR but I suggest that people have wasted so much time on sloppy generated PRs that they have had to decide to ignore them to have any time to deal with real people and real PRs that aren't slop. | ||||||||
| ▲ | andrewdb 3 hours ago | parent [-] | |||||||
Sure, there is a problem with slop AI PRs _now_ . That will not remain true for infinity. What happens when the AI PRs aren't slop? | ||||||||
| ||||||||