You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It's very common for discussion in issues and pull requests for people to refer to an EIP or ECIP by number. I find it very annoying to have to look up the eip everytime I don't remember the number -> topic.
This issue is to suggest a github bot that would:
listen to issue and pull request comments
find references to [eip|ecip][\space|-][number]
edit the comment, replace it with a link to the ecip or eip
The bot should be runnable from anyones account, and since we are able to edit each others comments, it should be fairly straightforward for permissions.
The text was updated successfully, but these errors were encountered:
It's very common for discussion in issues and pull requests for people to refer to an EIP or ECIP by number. I find it very annoying to have to look up the eip everytime I don't remember the number -> topic.
This issue is to suggest a github bot that would:
The bot should be runnable from anyones account, and since we are able to edit each others comments, it should be fairly straightforward for permissions.
The text was updated successfully, but these errors were encountered: