DEV Community

David
David

Posted on

Old Time Tunes Dev Log 3: GitHub PR merge setting

This is a long-running series of logs that I'm sharing with my spouse to incrementally share everything I do to contribute to our project Old Time Tunes. My goal is to make tiny records of what it takes to build a web platform.

I'm going to start making PRs instead of merging directly to main, to create documentation of changes.

When I merge a PR, I always want it to be merged as a single commit. I don't like the default merge behavior which merges in all the commits of the PR branch (I usually have dozens of commits).

I updated the GitHub repo's settings (https://github.com/david-shortman/old-time-tunes/settings) to only allow "squash and merge" commits from PRs.

Github merge settings

Top comments (0)