docs(eslint-plugin): update site description of ban-types docs#6209

Merged

bradzacher merged 2 commits intotypescript-eslint:mainfrom

JoshuaKGoldberg:fix-ban-types-default-types-docs

Jan 30, 2023

Commits on Dec 13, 2022

docs(eslint-plugin): update site description of ban-types docs
JoshuaKGoldberg
committed

Commits on Dec 16, 2022

Merge branch 'main' into fix-ban-types-default-types-docs
JoshuaKGoldberg
committed