Closed fingolfin closed 8 months ago
Ouch! Sorry for the noise then! I somehow could have sworn I saw a mail that it was merged, but clearly I was dead wrong. OK, that's easy to take of then, I am on it.
TagBot ran after the PR above was actually merged, and now we finally have deployed docs as well.
I released Scratch.jl 1.2.1 earlier today, but somehow TagBot did not end up creating a tag for it. Anybody got an idea what might be wrong? I already updated the TagBot.yml to the latest a while ago, so that's not it. Rather, TagBot did not comment on https://github.com/JuliaPackaging/Scratch.jl/issues/31 -- why not?