mariolenz
(Mario Lenz)
March 4, 2024, 4:42pm
1
I would like to (re-) open the discussion about removing collections that have been officially deprecated by their maintainers. In this case, I think
we should remove the collection ASAP (that is, in the next major release)
we should simplify the process and not vote on this… I mean, the collection is officially unmaintained
You can find my suggestion here .
1 Like
mariolenz
(Mario Lenz)
March 11, 2024, 5:13pm
2
@SteeringCommittee I think it’s about time to start a vote on this. The options are quite simply to either accept or reject the PR.
I plan to start the the vote during / soon after the next community meeting (or maybe on Thursday) and close it Saturday next week. This should give people enough time to vote.
1 Like
mariolenz
(Mario Lenz)
March 13, 2024, 7:35pm
3
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
Community vote
Accept / merge the PR
Reject / don’t merge the PR
1 Like
mariolenz
(Mario Lenz)
March 22, 2024, 4:18pm
4
1 Like
mariolenz
(Mario Lenz)
March 23, 2024, 1:18pm
5
The vote ended today. 9 SC members voted so we’ve reached the quorum.
8 SC members voted on merging my PR, one voted against it.
Additionally, there were also also 7 votes from the community with 6 pro and 1 con vote.
So, all in all, the vote to merge Remove officially unmaintained collections has been accepted.
1 Like