Yeah, I will happily make small commits like this and then squash all of them before merging. There's been a built-in option for this on Github that's been arou

Yeah, I will happily make small commits like this and then squash all of them before merging. There's been a built-in option for this on Github that's been around for close to a decade at this point and is easy to make the default. I don't feel like this is a real problem.