Originally created by @dtonhofer on GitHub (Feb 22, 2021).
I suggest to rename the positive digit in the EBNF ruleset to nonzero digit
Because "positive" is not really an adjective applicable to a "digit": it's a digit, not a number.
So we have the digit "zero" expressed by "0" and the other digits, the nonzero digits
Originally created by @dtonhofer on GitHub (Feb 22, 2021).
I suggest to rename the `positive digit` in the EBNF ruleset to `nonzero digit`
Because "positive" is not really an adjective applicable to a "digit": it's a digit, not a number.
So we have the digit "zero" expressed by `"0"` and the other digits, the `nonzero digit`s
I have not upgrade the version at the top of the page, still at 2.0.0. Technically, should become 2.0.1 (?)
I have used the name non-zero digit rather than nonzero digit similar to the existing non-digit.It's a matter of taste.
@dtonhofer commented on GitHub (Feb 28, 2021):
Submitted a pull request.
https://github.com/semver/semver/pull/673
Note the following:
- I have not upgrade the version at the top of the page, still at 2.0.0. Technically, should become 2.0.1 (?)
- I have used the name `non-zero digit` rather than `nonzero digit` similar to the existing `non-digit`.It's a matter of taste.
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
Originally created by @dtonhofer on GitHub (Feb 22, 2021).
I suggest to rename the
positive digitin the EBNF ruleset tononzero digitBecause "positive" is not really an adjective applicable to a "digit": it's a digit, not a number.
So we have the digit "zero" expressed by
"0"and the other digits, thenonzero digits@ghost commented on GitHub (Feb 26, 2021):
This is pretty easy to fix and mathematically correct. @dtonhofer do you mind putting in a PR?
@dtonhofer commented on GitHub (Feb 26, 2021):
Okay, will do it later today (hopefully).
@dtonhofer commented on GitHub (Feb 28, 2021):
Submitted a pull request.
https://github.com/semver/semver/pull/673
Note the following:
non-zero digitrather thannonzero digitsimilar to the existingnon-digit.It's a matter of taste.@ghost commented on GitHub (Mar 1, 2021):
Yes, 2.0.1.
@dtonhofer commented on GitHub (Mar 1, 2021):
Changed. Seems to have updated the pull request accordingly.
@roniesha1994 commented on GitHub (Mar 21, 2022):
@dtonhofer commented on GitHub (Jul 5, 2022):
Good day. What happened to this? It seems to be in limbo. Accept? Reject?