These aren't even criteria for a merge, let alone submission of a PR.