The bot closed one of my PR's with this comment:

> This pull request has been inactive for more than 8 weeks and will now be automatically closed....

But in the past 8 weeks there have been three pushes to the PR branch.

Is a branch push not considered "activity" ? If so, the bot has a bug; if not, maybe that could be made clearer in the warning message, e.g.:

> This pull request has been inactive for more than 4 weeks and will be automatically closed if another 4 weeks passes without any new comments. To avoid this, simply issue a /touch or /keepalive command to the pull request. Feel free to ask for assistance if you need help with progressing this pull request towards integration!

Example: https://github.com/openjdk/jdk/pull/24932