If we want to enforce it on the PR, then we may as well have it everywhere. Why would this be annoying?