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

[feature] Add labels to PRs #28

Closed
poojaranjan opened this issue Nov 17, 2021 · 2 comments
Closed

[feature] Add labels to PRs #28

poojaranjan opened this issue Nov 17, 2021 · 2 comments

Comments

@poojaranjan
Copy link

Add feature to eip-bot

  • New EIP: PR for adding a new file under ./eips
  • Status Change: PR that only changes the status
  • Update EIP: PR for updating the contents of an EIP, not meant for status changes
@alita-moore alita-moore mentioned this issue Nov 22, 2021
Closed
11 tasks
@poojaranjan poojaranjan mentioned this issue Nov 30, 2021
Closed
@alita-moore alita-moore mentioned this issue Dec 29, 2021
Closed
13 tasks
@alita-moore
Copy link
Collaborator

this feature has been added via #39

@alita-moore
Copy link
Collaborator

follow up bugs or feature extensions will be addressed in separate issues

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
2 participants
@alita-moore @poojaranjan