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).
--
You received this message because you are
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
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
--
You