ok <@U0JFM04MS>, I mentioned to <@U0JT049S4> a whi...
# core
t
ok @zwass, I mentioned to @thor a while back, but for merging commits: - The repo is configured to only allow squashing (landing). - We generally fix up people's commit titles if they have odd punctuation or the title seems too wordy. - If someone does a good job at 78-wide commit messages, they are fine to keep, otherwise remove the message body. - Try as hard as possible to remember to remove the message body for multi-commit PRs. Github will emulate squashing by stacking the 1-line titles into double-space delimited lines, they are very ugly.