Pull Request closed after approval

1

Hi,

I contributed a small change in the PyTorch documentation. But the related pull request was closed even after approval. Since this is my first time contributing to open source, I expected the PR to be merged after approval and I will receive my first Pair Extraordinaire badge :hatching_chick:. Can someone please explain why the PR was ‘closed’ instead of ‘merged’?

Link to the pull request: Corrected grammar in contribution guide by atharvakavitkar · Pull Request #93014 · pytorch/pytorch · GitHub

Thanks!

2

Your PR was merged via:

@pytorchbot merge -f "Small doc grammar fix"

in this commit.

3

Thanks for the prompt response, but then why is the PR status ‘closed’ and not ‘merged’?