Let’s start a vote on this. The options are quite simple: Merge or don’t merge.
Steering Committee vote
- Accept / merge the PR
- Reject / don’t merge the PR
0
voters
Community vote
- Accept / merge the PR
- Reject / don’t merge the PR
0
voters
1 Like