Currently, it’s required to “squash the commits” on Pull Requests. However, this process is complex and error-prone, raising an (unreadable) barrier to contributions. This also forces force-push, which may be destructive if not used properly. I have personally lost source trying to “squash the commits” manually.
If “squash and merged” is enabled, this will be automatically done by GitHub. I also propose this should be the default option.
