# Questions about PRs being merged

**URL:** <https://dev-discuss.pytorch.org/t/questions-about-prs-being-merged/3280>\
**Category:** Uncategorized\
**Created:** [December 11, 2025, 3:16am UTC](https://dev-discuss.pytorch.org/t/questions-about-prs-being-merged/3280 "2025-12-11T03:16:30Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![wenlinchong17-web](https://yyz2.discourse-cdn.com/flex036/user_avatar/dev-discuss.pytorch.org/wenlinchong17-web/32/3019_2.png) [@wenlinchong17-web](https://dev-discuss.pytorch.org/u/wenlinchong17-web)\
**Post date:** [December 11, 2025, 3:16am UTC](https://dev-discuss.pytorch.org/t/questions-about-prs-being-merged/3280/1 "2025-12-11T03:16:30Z")

</div>

I would like to ask how long it will take for a PR to be merged after it has been approved by the maintainers.

---

<div class="post-metadata">

**Author:** ![jansel](https://yyz2.discourse-cdn.com/flex036/user_avatar/dev-discuss.pytorch.org/jansel/32/74_2.png) [@jansel](https://dev-discuss.pytorch.org/u/jansel)\
**Post date:** [December 18, 2025, 5:31am UTC](https://dev-discuss.pytorch.org/t/questions-about-prs-being-merged/3280/2 "2025-12-18T05:31:43Z")

</div>

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.