I think it’s time to vote on the PR documenting / implementing this.
Since this is the Easter weekend and some people might be on PTO, let’s keep the vote open until April 13th. This should give people enough time to vote.
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