Re: [sage-devel] Re: VOTE: disputed PRs

2024-03-14 Thread David Roe
Sorry for the delay in responding; I have had much time today. The code of conduct committee's intention in changing the status on some of the disputed tickets was to note ways in which participants had not followed our previous standards for setting review status. At this point, given the

Re: [sage-devel] Re: VOTE: disputed PRs

2024-03-14 Thread Kwankyu Lee
... if there is any difference in process between the PRs currently set to "positive review" and those currently set to "needs review"? In my opinion, all disputed PRs waiting for voting should be reset to "needs review" status. Kwankyu -- You received this message because you are

Re: [sage-devel] Re: VOTE: disputed PRs

2024-03-14 Thread Matthias Koeppe
David, Would you clarify if there is any difference in process between the PRs currently set to "positive review" and those currently set to "needs review"? On Wednesday, March 13, 2024 at 10:28:12 PM UTC-7 David Roe wrote: > The vote has passed. There are currently 36 open disputed PRs >