"Disputed" PRs: Please vote, it matters

[Matthias Koeppe]

Dear all:

Please take the time to participate in the voting process for the "disputed" PRs.

https://github.com/sagemath/sage/pulls?q=is%3Aopen+label%3Adisputed+is%3Apr+label%3A%22s%3A+needs+review%22%2C%22s%3A+positive+review%22+sort%3Aupdated-desc

Participation matters!

Matthias

[David Roe]

I will echo Matthias here.  We just spent multiple months working out this new process.  In order to make it work, people need to help make judgements about which of these PRs should proceed and be included in Sage.

I understand that participating in these particular PRs can be daunting: the people involved have strongly held opinions, many of the issues involved are technical, and the comment history on some of these PRs is very long.  I especially encourage those of you with substantial packaging background to help resolve these PRs, but other developers are welcome to participate in voting as well.

David

--
You received this message because you are subscribed to the Google Groups "sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/8934391b-e5a6-45cb-ab4f-713e8dfdd3f1n%40googlegroups.com.

[Kwankyu Lee]

These disputed PRs under voting need input from the sage community. 

I think the release manager should deal with a disputed PR that got "positive review" from voting separately and give at least a week or two before deciding on it (to merge).