reminder: do not squash commits before merging PRs. Local rebase by contributor is OK, rebasing on github is not. In short, if all commits are verified, we're doing this right. If not, we're missing signatures or we have invalidated them by inappropriately rewriting commits (e.g. squashing)
👍 2