New comment by subnut on void-packages repository

https://github.com/void-linux/void-packages/pull/36399#issuecomment-1081851695

Comment:
I guess we could tag the stale PRs with the _"stale-pending_reply"_ tag, and ping the author requesting him to reply if they are still interested. Then wait for a specified time period (3 weeks?)
 - If they reply, remove the  _stale-pending_reply_ tag
 - If they do not reply, remove the _stale-pending_reply_, add the _stale_ tag
   - Wait again for some time period
   - If author replies within said time period, remove _stale_ tag
   - If time period ends without author replying, **close the PR**

EDIT: It's all speculation. I don't even know if GitHub APIs allow this.