+1 for a global settings flag
+1 Ok its 2021 let’s make this feature happen. No wait its 2022… NOW let’s make this feature happen.
+1 to let us save our whitespace preference, it’s a terrible experience having to change it on every single PR!
+1 maybe instead of fixing it, they give prizes every hundred PRs you re-check that box… “whitespace clicker tycoon”