We have pretty different coding styles, and I've run into a few small stylistic differences (nothing major, though). Wanted to get your input if we should adopt this formatter, for a very small hygiene thing.
(If you're not a fan of the style—feel free to say nah. Not attached to this.)
I hate the capitalized comments with punctuation nonsense they do. We can worry about the style when we do an actual code release with a paper. Let's not worry for now.
We have pretty different coding styles, and I've run into a few small stylistic differences (nothing major, though). Wanted to get your input if we should adopt this formatter, for a very small hygiene thing.
(If you're not a fan of the style—feel free to say nah. Not attached to this.)