-
Notifications
You must be signed in to change notification settings - Fork 5.4k
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
Customizable editors #6650
Comments
What would this look like? |
Can you elaborate what is being proposed here @Pandapip1 |
Basically, the config would be updated to look like this: version: 2
editors:
Pandapip1:
- governance # Special category for governance
- core
- erc
...
foobar: # Doesn't like NFTs
- erc
- !nft
...
categories:
core:
- category === "Core"
erc:
- category === "ERC"
...
nft: # Example of some new features enabled by this
- requires.split(",").some(eip => ["721", "1155"].includes(eip.trim()))
|
Is this for peer reviewing (technical feedback) or for editing? |
Both! If you want, I can also extend it so that there are more special categories ( |
So |
The config file specifies the pseudo-tags |
Bump. Surprised the stale bot hasn't given any warnings. |
There has been no activity on this issue for 1 week. It will be closed after 3 months of inactivity. |
Weird... why did I get notified about #6650 (comment) now? |
There has been no activity on this issue for 1 week. It will be closed after 3 months of inactivity. |
This issue was closed due to inactivity. If you are still pursuing it, feel free to reopen it and respond to any feedback. |
Proposed Change
In eip-review-bot, currently there are predefined editor groups depending on the type and category. I propose that, as a stop-gap solution before implementing tags, that we have a slightly more customizable editor list for peer reviewers.
The text was updated successfully, but these errors were encountered: