why does github insist on unwrapping commit messages when you merge a PR. does nobody there run `git log`?