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.

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

Fixes a deadlock in opp clean #204

Closed
wants to merge 2 commits into from
Closed

Fixes a deadlock in opp clean #204

wants to merge 2 commits into from

Conversation

ClairePhi
Copy link
Collaborator

When there are more than 10 PRs to clean, we will
pull from the results channel only when we have managed
to correctly enqueue all the cleanPR goroutines.
But this can happen only if we manage to acquire
enough slots in the semaphore. And the semaphore
releases only when it manages to push a message to
the results channel
=> 💥

When there are more than 10 PRs to clean, we will
pull from the results channel only when we have managed
to correctly enqueue all the `cleanPR` goroutines.
But this can happen only if we manage to acquire
enough slots in the semaphore. And the semaphore
releases only when it manages to push a message to
the results channel
=> 💥
@ClairePhi ClairePhi force-pushed the ClairePhi/pr/204 branch 3 times, most recently from 6c797e5 to 12e3944 Compare December 17, 2024 21:08
@ClairePhi
Copy link
Collaborator Author

We need to take a closer look at how to delete multiple branches in parallel. In the mean time, we will close this PR and revert the PR that parallelizes opp clean.

@ClairePhi ClairePhi closed this Dec 28, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants