Closed DilumAluthge closed 3 months ago
Is this message close enough to the error messages? Otherwise I'm worried users won't easily see it.
Good question. Let's do a test run and see what the logs look like.
bors try
Build succeeded:
Bump? I thought this was merged, and users are still confused by the error message: https://discourse.julialang.org/t/juliaregistries-cant-update-my-package-because-of-registry-dirty/89379
bors merge
Build failed:
I completely forgot that we never merged this PR. Let's get it in.
@giordano What do you think?