Open t1m0thyj opened 1 week ago
Thank you for raising this enhancement request. The community has 90 days to vote on it. If the enhancement receives at least 10 upvotes, it is added to our development backlog. If it receives fewer votes, the issue is closed.
Is your feature request related to a problem? Please describe.
It is difficult to review and merge Zowe Explorer pull requests in a timely manner when merge commits require fresh reviews.
Describe the solution you'd like
When merge commits are pushed to a PR then it should not be marked as stale, but when other commits are pushed it should be.
Describe alternatives you've considered
We could disable the GitHub setting that marks PRs as stale when new commits are pushed. However this would apply to all commits and we want it to apply only to merge commits.
Additional context
This has been requested as an enhancement to GitHub: https://github.com/orgs/community/discussions/12876 We may be able to create our own workflows to determine whether PRs get marked as stale (see https://github.com/Reviewable/Reviewable/issues/226).