Open
Description
bors takes authorship credit for @bors squash
PRs: rust-lang/rust@4b80687 (PR is rust-lang/rust#81398).
Also, not sure if this is related, but GitHub doesn't realize the PR is merged when bors squash-merges it (you can see an example in the same PR).
Metadata
Metadata
Assignees
Labels
No labels