hi, it seems that in nuttx it's common to squash commits when merging pull requests.
i'd like to suggest _not_ to do that because: * it makes cherry-pick/backport/revert cumbersome * larger changes are more difficult to read/understand on the other hand, i can think of only little benefit. * aesthetic reasons? * marginally save the repo size growth? how do you think?
