Just wanted to confirm something: If I've got a provider that's already in the Pulumi Registry and we've cut a new Github release for it, does the Registry automatically detect that and update itself (eventually, not instantaneously of course), or is there any manual interaction that I have to do to make the new release show up? If the registry update is automated, what are the specific triggers (thinking of situations where a Github release exists, but some final wrap-up operations like SDK publications fail... what happens to the registry in such a situation)?