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.