Re: [PR] Introduce workflow for stale PRs [lucene]

2024-01-08 Thread via GitHub
stefanvodita commented on PR #12813: URL: https://github.com/apache/lucene/pull/12813#issuecomment-1880875904 Thanks Uwe for the review and Mike for merging. The action logs look good. #12998 disables `debug-only` and increases the operations budget to 500. The total [per-hour budget is

Re: [PR] Introduce workflow for stale PRs [lucene]

2024-01-08 Thread via GitHub
mikemccand commented on PR #12813: URL: https://github.com/apache/lucene/pull/12813#issuecomment-1880816127 Thanks @uschindler and @stefanvodita -- the latest iteration looks great -- the `debug-only` flag means it won't actually make any changes, just go through the motions. I'll

Re: [PR] Introduce workflow for stale PRs [lucene]

2024-01-08 Thread via GitHub
mikemccand merged PR #12813: URL: https://github.com/apache/lucene/pull/12813 -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail:

Re: [PR] Introduce workflow for stale PRs [lucene]

2024-01-04 Thread via GitHub
stefanvodita commented on PR #12813: URL: https://github.com/apache/lucene/pull/12813#issuecomment-1877528163 I did some testing with the parameters I mentioned and pushed a new revision. In the tests on my fork, a stale PR took 5 operations to process and a non-stale PR took 1. --

Re: [PR] Introduce workflow for stale PRs [lucene]

2024-01-04 Thread via GitHub
stefanvodita commented on PR #12813: URL: https://github.com/apache/lucene/pull/12813#issuecomment-1877494977 I ended up checking more of the configurable parameters after looking for the one to exclude draft PRs. Three things to note: 1. I have to configure a few more parameters to

Re: [PR] Introduce workflow for stale PRs [lucene]

2024-01-04 Thread via GitHub
uschindler commented on code in PR #12813: URL: https://github.com/apache/lucene/pull/12813#discussion_r1442004702 ## .github/workflows/stale.yml: ## @@ -22,6 +22,7 @@ jobs: with: repo-token: ${{ secrets.GITHUB_TOKEN }} days-before-pr-stale: 14 +