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.

I’m afraid the answer is: “it depends”. At a minimum, we need to wait for the automated checks to run (about 20 mins), and we need at least one other person on the Team to review/approve the PR. That can take anywhere from minutes to days, depending on availability/priority. If it’s a more complex change, or if the reviewer has any comments that need addressing, then it can take even longer than that. By the way, when we link a PR here on Meta, you should see a little coloured badge on the onebox which tells you whether it’s merged. For example: https://github.com/discourse/discourse/pull/17357

Of course that badge :man_facepalming: Yeah — it depends is a good answer. And expected one too.

מתי PRs ימוזגו?

מפתח

Jagster (Jakke Flemming) 8 ביולי,‏ 2022,‏ 8:42am 3

Of course that badge

Yeah — it depends is a good answer. And expected one too.

נושא		תגובות	צפיות
What's the process to get a theme-component PR reviewed? Development easy-responsive-footer	5	529	29 בפברואר,‏ 2024
What is the turn around time for pull request? Development rest-api	2	310	24 באוגוסט,‏ 2023
Recommended approach for production discourse using PR (not merged) Product Support	15	408	21 בפברואר,‏ 2025
Cannot merge users - process never finishes Product Support	1	132	10 בדצמבר,‏ 2024
Live Pull Request Status on GitHub Oneboxes ✨ Announcements	14	914	28 במאי,‏ 2026

מתי PRs ימוזגו?

נושאים קשורים