Well, it din't exactly ban it, but it did set some strict and sensible restrictions. As a result, there is only a single AI-generated commit in the OS:

It is a fairly large commit. However, it is dwarfed by the Linux kernel, which has thousands of slop commits.