chore(scripts): update nolints.txt (#18035)

leanprover-community-bot · leanprover-community-bot · commit 9aba7801eeec · 2023-01-01T04:03:37.000Z
I am happy to remove some nolints for you!
diff --git a/scripts/nolints.txt b/scripts/nolints.txt
@@ -348,10 +348,6 @@ apply_nolint stream.is_bisimulation doc_blame
 -- geometry/euclidean/circumcenter.lean
 apply_nolint affine_independent.exists_unique_dist_eq fintype_finite
 
--- group_theory/coset.lean
-apply_nolint add_subgroup.card_quotient_dvd_card fintype_finite
-apply_nolint subgroup.card_quotient_dvd_card fintype_finite
-
 -- group_theory/group_action/sub_mul_action.lean
 apply_nolint sub_mul_action.has_zero fails_quickly
 
