Squash PRs before merging

[boldtrn]

I think it's great that we see so meany contributions in the repo right now 🎉. I just wanted to start a discussion about squashing PRs before merging them. The current commit history on the main branch is quite clutered as the last few PRs have not been squashed, so I wanted to raise awareness for this.

As a contributor you can squash your PR before asking for a review.
As a maintainer you can use the merge button in Github to squash the commits.

This will help dramatically to keep the commit history clean.

[hactar]

I prefer squash and merge too - why not set it up to be the only available option? I do this for all my projects in the github settings.

[boldtrn]

I updated the settings, so from now on, only squashes should be allowed, if not please let me know.

[hactar]

Works for me, thanks ☺️

[boldtrn]

Ok, let's close this discussion then 👍

[wipfli]

The preferred merging in the MapLibre org is squash merging. I am a bit surprised that other methods were still available since the tick was made here in the onboarding issue:

maplibre/maplibre#171

But good that you fixed it now...