mirror of https://github.com/pulumi/pulumi.git
b348119730
The reason for this is twofold: - Once ci-ok is run, GitHub deletes the merge queue branch, and thus the checkout in the update-dev-version step fails. - If we do the update-dev-version after ci-ok, we might still merge the changes even though we haven't updated the dev version properly. This isn't a big deal, but can be confusing nonetheless. ## Checklist - [ ] I have run `make tidy` to update any new dependencies - [ ] I have run `make lint` to verify my code passes the lint check - [ ] I have formatted my code using `gofumpt` <!--- Please provide details if the checkbox below is to be left unchecked. --> - [ ] I have added tests that prove my fix is effective or that my feature works <!--- User-facing changes require a CHANGELOG entry. --> - [ ] I have run `make changelog` and committed the `changelog/pending/<file>` documenting my change <!-- If the change(s) in this PR is a modification of an existing call to the Pulumi Cloud, then the service should honor older versions of the CLI where this change would not exist. You must then bump the API version in /pkg/backend/httpstate/client/api.go, as well as add it to the service. --> - [ ] Yes, there are changes in this PR that warrants bumping the Pulumi Cloud API version <!-- @Pulumi employees: If yes, you must submit corresponding changes in the service repo. --> |
||
|---|---|---|
| .. | ||
| scripts | ||
| workflows | ||
| PULL_REQUEST_TEMPLATE.md | ||