Github has a similar pull request but voting is not mandatory, which means there is no requirement on how to merge
So when you want to achieve similar requirements, you will usually leave a comment under the PR (such as the common LGTM), and then after the number of approved comments reaches the required number, it will be merged by someone with merge permissions
Github has a similar pull request
but voting is not mandatory, which means there is no requirement on how to merge
So when you want to achieve similar requirements, you will usually leave a comment under the PR (such as the common LGTM), and then after the number of approved comments reaches the required number, it will be merged by someone with merge permissions
How to implement this depends on people