We added a time cutoff on PRs to ignore PRs/commits with no activity in the last couple of weeks.
We incorrectly use the filtered list of PRs (without inactive PRs) to figure out the list of OPEN and CLOSED PRs. This causes some repos to have PRs incorrectly marked as Closed when they are actually open but stale (no activity in 2 weeks).
This issue was discovered by @art-w when looking at art-w/ocaml repository on the production server.
We added a time cutoff on PRs to ignore PRs/commits with no activity in the last couple of weeks.
We incorrectly use the filtered list of PRs (without inactive PRs) to figure out the list of OPEN and CLOSED PRs. This causes some repos to have PRs incorrectly marked as Closed when they are actually open but stale (no activity in 2 weeks).
This issue was discovered by @art-w when looking at
art-w/ocaml
repository on the production server.