Skip to content

Add emoji for recommended-type-checked config#518

Merged
bmish merged 1 commit intobmish:mainfrom JoshuaKGoldberg:emoji-recommended-type-checkedFeb 7, 2024