Skip to content

Cache activity before opening retirement PRs#120

Open
philiptaron wants to merge 1 commit into
NixOS:mainfrom
philiptaron:issue-100
Open

Cache activity before opening retirement PRs#120
philiptaron wants to merge 1 commit into
NixOS:mainfrom
philiptaron:issue-100

Conversation

@philiptaron

Copy link
Copy Markdown
Contributor

I hate those "whoops" issues that #100 creates. Here's one kind of dumb take on fixing it. Sorry for the bash overload. I didn't want to rewrite this in github script first.

What does it do? In short, we persist the latest observed merge activity and the first inactive observation between workflow runs using a GitHub workflow artifact. A missing /commits response now starts a confirmation window instead of immediately opening a retirement PR. The result is that cached positive activity can keep active committers from being retired when GitHub returns an empty result spuriously.


I don't really love the resulting code. I'd sort of like to rewrite the whole thing.


Fixes #100

Persist the latest observed merge activity and the first inactive observation between workflow runs. A missing /commits response now starts a confirmation window instead of immediately opening a retirement PR, while cached positive activity can keep active committers from being retired when GitHub returns an empty result spuriously.
@philiptaron philiptaron requested a review from mweinelt July 8, 2026 22:11
@philiptaron philiptaron requested a review from infinisil as a code owner July 8, 2026 22:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Unreliable /commits endpoint

1 participant