Utter Disregard for Git Commit History https://zachholman.com/posts/git-commit-history/ (the unit of change is important -- put PR descriptions in merge commits?)