-
Notifications
You must be signed in to change notification settings - Fork 5.3k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Update to canonical eip-X format #2734
Update to canonical eip-X format #2734
Conversation
Pinging @Souptacular @axic @nicksavers @Arachnid @gcolvin for review. |
Also see: #2737 |
I have added the style guide to EIP-1 itself. Please review the copy and let me know if it is acceptable. A potential next task is to comb through the repo and expunge all |
face3e8
to
5e763be
Compare
I didn't read any dissent in the meeting, and some agreement, with the only real strongly held (from the wording) opinion being that we should pick a standard and go with it. We have used EIP-X historically, and that is what this PR proposes, so I'm going to merge it. We can always change it later if people disagree. |
It appears that the format `EIP-X` is preferred to `EIPX`: ```console $ grep "EIP-[0-9]+" * | wc -l 373 $ grep "EIP[0-9]+" * | wc -l 118 ``` Also note that several of the `EIPX` references are coming from `index.html` and `EIPS/eip-1.md`. ```console $ grep "EIP[0-9]+" index.html | wc -l 4 $ grep "EIP[0-9]+" EIPS/eip-1.md | wc -l 13 ``` I have updated `index.html` and `eip-1` accordingly.
It appears that the format `EIP-X` is preferred to `EIPX`: ```console $ grep "EIP-[0-9]+" * | wc -l 373 $ grep "EIP[0-9]+" * | wc -l 118 ``` Also note that several of the `EIPX` references are coming from `index.html` and `EIPS/eip-1.md`. ```console $ grep "EIP[0-9]+" index.html | wc -l 4 $ grep "EIP[0-9]+" EIPS/eip-1.md | wc -l 13 ``` I have updated `index.html` and `eip-1` accordingly.
It appears that the format
EIP-X
is preferred toEIPX
:Also note that several of the
EIPX
references are coming fromindex.html
andEIPS/eip-1.md
.I have updated
index.html
andeip-1
accordingly.