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

Stagnant bot merges despite open PR #42

Open
alita-moore opened this issue Jan 10, 2022 · 0 comments
Open

Stagnant bot merges despite open PR #42

alita-moore opened this issue Jan 10, 2022 · 0 comments
Labels
bug Something isn't working priority: high

Comments

@alita-moore
Copy link
Contributor

ethereum/EIPs#4604 (comment)

@alita-moore alita-moore changed the title Stagnant bot merges despite open PR [bug] Stagnant bot merges despite open PR Jan 11, 2022
@Pandapip1 Pandapip1 changed the title [bug] Stagnant bot merges despite open PR Stagnant bot merges despite open PR Aug 10, 2022
@Pandapip1 Pandapip1 added the bug Something isn't working label Aug 10, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
bug Something isn't working priority: high
Projects
None yet
Development

No branches or pull requests

2 participants