Yeah it is very difficult. You have to open each individual thread and look.
I love this idea.
Maybe the auto-merge bot could add a tag to PRs it won’t automerge?
2 Likes
Sure, if someone wants to make a PR to RegistryCI.jl that adds that functionality, I’m happy to merge it.
1 Like
Sure, I’ll give it a try. (edit: RegistryCI#144)
2 Likes