Groups
Groups
Sign in
Groups
Groups
sage-devel
Conversations
About
Send feedback
Help
Voting result: Block-scoped optional tag and the keyword
41 views
Skip to first unread message
Kwankyu Lee
unread,
Jul 7, 2023, 6:36:33 PM
7/7/23
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to sage-devel
Hi,
The voting in
https://groups.google.com/g/sage-devel/c/8KZNRBs6F6U
is closed. There were 13 votes. The vote tally is as follows:
(A) "needs": 10
(B) "requires": 1
(C) "uses": 2
(D) "standard": 0
The clear winner is (A). Hence "needs" will be used as the keyword for block-scoped tag for optional doctests. For more, visit
https://github.com/sagemath/sage/issues/35750
.
I thank all the voters and appreciate your attention and support for smooth proceeding of the voting.
Kwankyu Lee
unread,
Jul 7, 2023, 6:40:47 PM
7/7/23
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to sage-devel
Note that the issue #35750 is resolved by the PR at
https://github.com/sagemath/sage/pull/35749
.
Matthias Koeppe
unread,
Jul 7, 2023, 7:17:55 PM
7/7/23
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to sage-devel
Thanks all for voting, and thanks Kwankyu for organizing the referendum!
Matthias
Reply all
Reply to author
Forward
0 new messages