A ticket wouldn’t hurt. It’s already advanced to the “trial first in a separate repo” stage here: GitHub - frankwiles/pr-playground: Automatically close bad PRs · GitHub, feedback welcome!
A ticket wouldn’t hurt. It’s already advanced to the “trial first in a separate repo” stage here: GitHub - frankwiles/pr-playground: Automatically close bad PRs · GitHub, feedback welcome!