# When PRs are merged?

**URL:** <https://meta.discourse.org/t/when-prs-are-merged/232289>\
**Category:** Development\
**Created:** [July 8, 2022, 8:29am UTC](https://meta.discourse.org/t/when-prs-are-merged/232289 "2022-07-08T08:29:52Z")\
**Posts on this page:** 1\
**Showing post:** 1

<div class="post-metadata">

**Author:** ![Jagster](https://sea3.discourse-cdn.com/meta/user_avatar/meta.discourse.org/jagster/32/192154_2.png) [@Jagster](https://meta.discourse.org/u/Jagster)\
**Post date:** [July 8, 2022, 8:29am UTC](https://meta.discourse.org/t/when-prs-are-merged/232289/1 "2022-07-08T08:29:52Z")

</div>

Quite often, and decently fast I have to say, when someone reports bug or issue somebody from team tells _this PR fixes it_.

And right after that anxious user makes rebuild or update, returns and cries for help because that fix didn’t change anything.

Same poor team member replies that PR isn’t merged yet.

What is the typical time frame when merging has been done, or does it depend? Quite often you guys tell that PR is already merged, or there is new reply to inform merging — but not always.

I don’t have any issues, I’m just purely curious. Well… sometimes it matters if a PR will will fix something important for me or gives something nice, and getting that requires rebuilding, because it is so time consuming. But must say — I’ve got everything that is informed as PR’ed.

I would guess team must do someking double checking before merging something.

---

_[View the full topic](https://meta.discourse.org/t/when-prs-are-merged/232289)._