Old Time Tunes Dev Log 3: GitHub PR merge setting

David - Sep 29 - - Dev Community

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

. . . . . . . . . . . .
Terabox Video Player