Skip to content
This repository has been archived by the owner on Feb 9, 2023. It is now read-only.

[enhancement, priority low] eip-number-requested tag #76

Closed
Pandapip1 opened this issue Apr 22, 2022 · 0 comments
Closed

[enhancement, priority low] eip-number-requested tag #76

Pandapip1 opened this issue Apr 22, 2022 · 0 comments

Comments

@Pandapip1
Copy link
Member

Pandapip1 commented Apr 22, 2022 •
edited
Loading

Suggestion: automatically apply an "eip-number-requested" tag to all new PRs that add a new file in the EIPs folder, to help EIP editors quickly assign numbers until #64 is implemented.
@Pandapip1 Pandapip1 closed this as not planned Won't fix, can't repro, duplicate, stale Aug 10, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@Pandapip1