Pretty much what it says on the tin. The only prettier options I care about are 4-space indentation, and a 100 character target width instead of 80.
Idk if there's some fancy CI thing we can do on PRs to format things with prettier automagically (in case someone doesn't have it locally, doing an edit via web interface, etc...) but that's maybe worth investigating in the future too.
Pretty much what it says on the tin. The only prettier options I care about are 4-space indentation, and a 100 character target width instead of 80.
Idk if there's some fancy CI thing we can do on PRs to format things with prettier automagically (in case someone doesn't have it locally, doing an edit via web interface, etc...) but that's maybe worth investigating in the future too.