You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I notice that the PR for v0.2.0 release was never merged in the General registry and got closed automatically. There seems to be some confusion regarding the release process for that. I suspect that the GitHub release was not triggered from the TagBot but come from a manual git tag.