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
Collaborator

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
This was referenced Feb 6, 2022
Closed
Closed
@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.
Assignees
No one assigned
Labels
bug Something isn't working priority: high
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@alita-moore @Pandapip1