If PR gets very old, it is very unlikely it will be updated. Instead of closing manually, we should have a bot which automatically closes these PRs with message.
<rdar://problem/92386358>