I noticed on https://github.com/libra/libra/pull/5762 that bors attempted to "squash" a PR with only one commit, resulting in the one commit's summary line being prefixed with "fixup!" when it was merged.
Instead bors should recognize that the PR only has a single commit and doesn't require "squashing" anything.
I noticed on https://github.com/libra/libra/pull/5762 that bors attempted to "squash" a PR with only one commit, resulting in the one commit's summary line being prefixed with "fixup!" when it was merged.
Instead bors should recognize that the PR only has a single commit and doesn't require "squashing" anything.