I would like to ask how long it will take for a PR to be merged after it has been approved by the maintainers.
A maintainer needs to comment with @pytorchbot merge on the PR. I’d suggest commenting with an@-notifying the person who approved asking them to merge it for you – they likely didn’t realize you needed help there.