PR #183
12 votes · 7 up · 5 down
Comments(3)
I think this problem is sufficiently solved with #185
🤖 OpenChaos Bot
Summary: This PR introduces a GitHub Action that randomly closes 10% of open pull requests every 10 days with a "DECIMATED" comment, ensuring at least one PR is closed if there are any open.
Files changed: 1 (.github/workflows/decimate.yml)
Vibe: May the odds be ever in your favor (of getting merged).
All Activity(18)
I think this problem is sufficiently solved with #185
🤖 OpenChaos Bot
Summary: This PR introduces a GitHub Action that randomly closes 10% of open pull requests every 10 days with a "DECIMATED" comment, ensuring at least one PR is closed if there are any open.
Files changed: 1 (.github/workflows/decimate.yml)
Vibe: May the odds be ever in your favor (of getting merged).