Comment by mikepurvis

I would never put up a copilot PR for colleague review without fully reviewing it myself first. But once that’s done, why not?