Added quick utility script for making a new rule#1089
Merged
JoshuaKGoldberg merged 12 commits intomainfrom Jun 1, 2021
Merged
Commits
Commits on May 23, 2021
Commits on May 27, 2021
Commits on May 28, 2021
- committedJosh Goldberg
- committedJosh Goldberg
- committedJosh Goldberg
- committedJosh Goldberg
- committedJosh Goldberg
- committedJosh Goldberg
- committed
- committed