TagBot release missing

A new release was merged:


but i do see the release automatically generated even though the TagBot is activated:


What am I doing wrong?

TagBot only creates a release once the PR to General is merged.

My impression is that it is already merged because I see when i do Pkg.update().

https://github.com/JuliaRegistries/General/pull/1607 doesn’t look merged.

All good now; it works; Thank you very much!