Should old PRs that look abandoned be closed?

See PRs already reviewed.

Yes, that was related to some automation from years ago, I think. The automation was disabled so the labels fell into disuse

1 Like