docs
docs copied to clipboard
Auto-merge merges a PR without waiting for the build to complete
pulumi-bot merges a PR in docs as soon as I approve it without waiting for the build to complete. Example: https://github.com/pulumi/docs/pull/5989
Two undesired effects:
- A potentially broken PR is merged
- Clean-up runs before the preview is ready, so the preview resources remain hanging
@mikhailshilkov is docs the right place for this issue? or should it be in home? i guess i mean, is this issue specific to the docs repo?
I only saw it in docs but I'm not sure it doesn't happen elsewhere
I'll investigate whether this is still an issue.
Indeed, still an issue: https://github.com/pulumi/docs/pull/7438#issuecomment-1114319502