EIP-1 says this:
Once the EIP is ready for the repository, the EIP editor will:
- Assign an EIP number (generally the PR number, but the decision is with the editors)
So am I correct to assume that is up to the EIP editors, who oftentimes are different from the EIP authors, to assign a number to an EIP?
If yes, and they do not want to use the PR or the issue number, is it common practice to increment the number used in the last EIP, or do they sometimes skip some values for brevity reasons (e.g. EIP-5500 is easier to remember than EIP-5497)?
Here’s why I find this confusing. There currently exist two proposals in which the authors seem to have assigned whatever numbers they wanted:
This is in spite of the fact that the latest PR number on GitHub is 5045:
My guess is that these proposals haven’t been vetted yet by EIPs editors - but I want to make sure that my guess is correct.