jaggederest 3 months ago

That sounds like a lot of work, better ask a LLM whether to merge.

  • genewitch 3 months ago

    It does the PR for me, too

    • frollogaston 3 months ago

      And argues on behalf of you in the PR. "You're absolutely right, this should not be merged."