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

[feature] bot should not open a PR for EIPs with active pull requests against them (non-bot generated) #17

Closed
alita-moore opened this issue Sep 22, 2021 · 4 comments
Closed

[feature] bot should not open a PR for EIPs with active pull requests against them (non-bot generated) #17

alita-moore opened this issue Sep 22, 2021 · 4 comments

Comments

@alita-moore
Copy link
Contributor

cc @MicahZoltu if you have anything to add here
This was referenced Sep 22, 2021
Closed
Closed
@MicahZoltu MicahZoltu mentioned this issue Sep 23, 2021
Closed
@MicahZoltu
Copy link
Contributor

Description looks good. The goal is to make it so if someone is working on an EIP it will not be marked as stagnant. We can deal with stale PRs separately (maybe manual).

@alita-moore
Copy link
Contributor Author

alita-moore commented Sep 25, 2021 •
edited
Loading

I think stale PRs are already handled or if it's not then that's a plug and play thing

@alita-moore
Copy link
Contributor Author

addressed by 6ca2786...3f3b970

@xinbenlv
Copy link

Thanks for continue to improve EIPbot, this is great improvement

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
3 participants
@xinbenlv @MicahZoltu @alita-moore