Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Resolve outstanding community PRs not merging. #11423

Open
3 tasks
dixler opened this issue Nov 21, 2022 · 0 comments
Open
3 tasks

Resolve outstanding community PRs not merging. #11423

dixler opened this issue Nov 21, 2022 · 0 comments
Assignees
@jazzyfresh
Labels
area/build CI/CD for pulumi/pulumi kind/engineering Work that is not visible to an external user

Comments

@dixler
Copy link
Contributor

dixler commented Nov 21, 2022 •
edited

This issue was closed, but there are a lot of outstanding approved PRs that are unable to be merged

We need to merge the following approved PRs.

Failed bors merge PRs

Documenting the strategy used to get the tests green would also be greatly appreciated in case there are other PRs in a similarly stuck state.
@dixler dixler added area/build CI/CD for pulumi/pulumi kind/engineering Work that is not visible to an external user labels Nov 21, 2022
@dixler dixler mentioned this issue Nov 23, 2022
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jazzyfresh jazzyfresh

Labels
area/build CI/CD for pulumi/pulumi kind/engineering Work that is not visible to an external user
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jazzyfresh @dixler