Comment by jaggederest
Comment by jaggederest 3 months ago
That sounds like a lot of work, better ask a LLM whether to merge.
Comment by jaggederest 3 months ago
That sounds like a lot of work, better ask a LLM whether to merge.
And argues on behalf of you in the PR. "You're absolutely right, this should not be merged."
It does the PR for me, too