Open hlapp opened 2 months ago
It seems that at least 4 approvals are required for PRs to be allowed to be merged. But with 9 Board members a majority requires at least 5, not 4.
It seems that at least 4 approvals are required for PRs to be allowed to be merged. But with 9 Board members a majority requires at least 5, not 4.