Closed tomjakubowski closed 1 month ago
Add to developer docs, sprinkle a comment in CI, update the lint script
Thanks for the PR!
I've cherry-picked this into #2623, closing
Add to developer docs, sprinkle a comment in CI, update the lint script