We should auto-close stray PRs
Opened this issue · 4 comments
soc-pe-bot commented
as per title
nus-pe-script commented
I agree
soc-se-script commented
yes we should. I agree
soc-se-bot-red commented
yes we should. I agree
But do we need to give a grace period
damithc commented
Too much automation may not be a good thing though 🤔