Re: [sage-devel] VOTE: disputed PRs

+1 David Lowry-Duda schrieb am Samstag, 9. März 2024 um 00:18:12 UTC+1: > +1 > > - DLD > > On 03:23 Mon 04 Mar 2024, David Roe wrote: > >With no further discussion on this thread > >, I'm calling a > vote > >on a new process for resolving

Re: [sage-devel] VOTE: disputed PRs

+1 - DLD On 03:23 Mon 04 Mar 2024, David Roe wrote: With no further discussion on this thread , I'm calling a vote on a new process for resolving disagreements on a PR. *Proposal* It is now allowed to vote on disputed PRs directly on

Re: [sage-devel] VOTE: disputed PRs

I think this doesn't work. E.g. the proposal talks about setting PRs to "needs work", but banned by the PR's author team members can't do this. That's why, as I said already, bans break the normal workflow, be it reviewing or voting. On 4 March 2024 22:08:29 GMT, kcrisman wrote: > > > >Dima,

Re: [sage-devel] VOTE: disputed PRs

Dima, I think that if anyone is incapable of posting to a particular PR, they should send email to someone who can post and ask them to record the person's vote, resulting in a comment like "I am posting to record 1 negative vote from X, 2 positive votes from Y and Z". Yes, that would also

Re: [sage-devel] VOTE: disputed PRs

Dima, I think that if anyone is incapable of posting to a particular PR, they should send email to someone who can post and ask them to record the person's vote, resulting in a comment like "I am posting to record 1 negative vote from X, 2 positive votes from Y and Z". On Monday, March 4,

Re: [sage-devel] VOTE: disputed PRs

+1 On Mon, 4 Mar 2024 at 20:20, G. M.-S. wrote: > > > +1 > > Guillermo > > On Mon, 4 Mar 2024 at 09:23, David Roe wrote: >> >> With no further discussion on this thread, I'm calling a vote on a new >> process for resolving disagreements on a PR. >> >> Proposal >> It is now allowed to vote on

Re: [sage-devel] VOTE: disputed PRs

+1 Guillermo On Mon, 4 Mar 2024 at 09:23, David Roe wrote: > With no further discussion on this thread > , I'm calling a > vote on a new process for resolving disagreements on a PR. > > *Proposal* > It is now allowed to vote on disputed PRs

Re: [sage-devel] VOTE: disputed PRs

David, how about team members who are blocked on GitHub. For GitHub voting to work, this has to be sorted out first. Dima On Mon, Mar 4, 2024 at 8:23 AM David Roe wrote: > With no further discussion on this thread > , I'm calling a > vote

[sage-devel] VOTE: disputed PRs

With no further discussion on this thread , I'm calling a vote on a new process for resolving disagreements on a PR. *Proposal* It is now allowed to vote on disputed PRs directly on Github rather than bringing them to sage-devel. Working