This is disappointing but understandable. Banning all AI use from PRs is impossible to police and would reduce the pool of possible contributors to nearly zero.

This is disappointing but understandable. Banning all AI use from PRs is impossible to police and would reduce the pool of possible contributors to nearly zero. It's a pragmatic decision but the inevitability of it makes me sad.