Post #3760486

In October 2025 I submitted one of my infamous jumbo PRs to a project. (Attached here) I was notified by Github yesterday, that they've asked Copilot for help in resolving merge conflicts. I don't even know whether I can begin to believe this