Skip to content

If an editor type is missing, it should be handled #340

Open
Open
If an editor type is missing, it should be handled#340
Labels
☑️ enhancementNew feature or request🔥 P1Bad; needs resolution sooner rather than later
@Pandapip1

Description

@Pandapip1
Pandapip1
opened on Oct 27, 2023

E.G. for the EIPs repo, if the erc type is deleted, anything that requests ERC editors should not be able to be satisfied.

Metadata

Metadata

Assignees

No one assigned

    Labels

    ☑️ enhancementNew feature or request🔥 P1Bad; needs resolution sooner rather than later

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions