4 ms·
That sounds like a lot of work, better ask a LLM whether to merge.
by jaggederest 2y ago
That sounds like a lot of work, better ask a LLM whether to merge.
- genewitch 2y agoIt does the PR for me, too
- frollogaston 2y agoAnd argues on behalf of you in the PR. "You're absolutely right, this should not be merged."