Pull requests merged via `@bors r+ squash` aren't closed automatically

rust-lang/rust-clippy#8236 was merged via `@bors r+ squash`, but the pull request was still open five hours after the squashed commit landed on `master`. In comparison, rust-lang/rust-clippy#8249 (which was merged normally) was closed by bors in the same hour it was merged.