Discourse Meta
When PRs are merged?
Development
Jagster
(Jakke Flemming)
July 8, 2022, 8:42am
3
Of course that badge
Yeah —
it depends
is a good answer. And expected one too.
show post in topic
Related topics
Topic
Replies
Views
Activity
Questions about GitHub bug fix commits and tests-passed
Development
4
1252
December 20, 2016
What's the process to get a theme-component PR reviewed?
Development
easy-responsive-footer
5
511
February 29, 2024
What is the turn around time for pull request?
Development
rest-api
2
307
August 24, 2023
Recommended approach for production discourse using PR (not merged)
Support
15
371
February 21, 2025
Cannot merge users - process never finishes
Support
1
120
December 10, 2024