P4
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
> 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
- duplicates
-
SKARA-2439 Skara bot doesn't consider commits in determining when to prune PR
-
- Closed
-
- links to
-
Commit(master)
openjdk/skara/374f7551
-
Review(master)
openjdk/skara/1723