[sage-devel] Re: Policy for disputed PRs: discussion

2023-11-24 Thread Matthias Koeppe
Thanks, David, for opening this (overdue) discussion with your thoughtful post. I would like to put it in a larger context. I'm sure most here would agree that we want our project to be trustworthy for current and future users, to be welcoming to new users and developers, and to maintain a

[sage-devel] Policy for disputed PRs: discussion

2023-11-24 Thread David Roe
Hi all, I'm writing about an issue that I think is causing substantial harm to the Sage community: the only current mechanism we have for resolving a disagreement is to call a vote on this email list. There are certainly times where this is an appropriate response, and I think it's still

Re: [sage-devel] Re: Help with matroids (and more generally?), PR #36492

2023-11-24 Thread Aram Dermenjian
The master branch has bugs in it and don't produce "correct" oriented matroids. These have been fixed in the current development branch, but the development branch needs documentation to be updated and also to be double checked to ensure there are no bugs/errors. (There's also additional things