Restore lint after PR 92637 (#92759)
https://github.com/pytorch/pytorch/pull/92637 broke lint, can't easily revert because of merge conflicts.
Pull Request resolved: https://github.com/pytorch/pytorch/pull/92759
Approved by: https://github.com/ezyang