Lines Matching full:merged

62 - Changes should not be merged before the minimal time has expired.
74 Such fixes can be merged at any time after they have passed CI checks. Depending
76 author) they can be merged with justification without review by one of the
127 - Pull requests should not be merged without an approval by the assignee.
129 Pull Request should not be merged by author without review
132 All pull requests need to be reviewed and should not be merged by the author
148 that a change should not be merged without their review, then: Request change
153   not be merged without your approval.
156 Pull Requests should have at least 2 approvals before they are merged
159 A pull-request shall be merged only with two positive reviews (approval). Beside
337      - This PR should not be merged (Do Not Merge). For work in progress, GitHub
409      - For PRs: is work in progress and should not be merged yet. For issues: Is being