Old Time Tunes Dev Log 3: GitHub PR merge setting
David

David @davidshortman

About: A programmer despite the existence of Mario Kart 8 and cartoons.

Joined:
Jun 26, 2020

Old Time Tunes Dev Log 3: GitHub PR merge setting

Publish Date: Sep 29 '24
1 0

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

Comments 0 total

    Add comment