Skip to content

RFC Numbering #4

Closed
Closed
@aevyrie

Description

@aevyrie

As mentioned here by @DJMcNab, it may be beneficial to number RFCs, and would require little to no effort on the maintainers' side.

#2 (comment)

It's not just about uniqueness - it's useful for ordering/exploring.
Like low number RFCs are past and are expected to be somewhat outdated.
The numbering is assigned based on the GitHub pull request number, which means that
Ensuring that we increment numbers correctly / avoid collisions
is easy because GitHub handles it for us

For context, this is @cart's initial comment on RFC numbering:

bevyengine/bevy#1662 (comment)

I don't see much utility in numbering RFCs. We can already reference them via their "github issue number" and their "unique feature name" (which we require in the title). Ensuring that we increment numbers correctly / avoid collisions feels like wasted effort.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions