Skip to content

Retry an auto-fix once when the first run is lost - #370

Merged
daltoniam merged 1 commit into
mainfrom
fix/autofix-retry
Nov 7, 2026
Merged

daltoniam merged 1 commit into
mainfrom
fix/autofix-retry

Conversation

@daltoniam

Copy link
Copy Markdown
Owner

Why

Auto-fix sent the implementation job to the Keycloak PR (#359). That run died about an hour in with "The hosted runner lost communication with the server", before it pushed anything. Auto-fix only asked once per head commit and set of findings, so it would never have asked again, and the PR would have stayed stuck until a person noticed. I restarted that run by hand.

Fix

Auto-fix now allows two attempts per head and set of findings. The second attempt covers a run that was lost with its runner. The limit still stops a fix the job can't make from running in a loop. The PR comment says which attempt it is. A new push or new findings start the count over, as before.

Test plan

  • make ci on 9ec848b
  • scripts/automerge_test.sh: one earlier attempt means a retry labelled "attempt 2 of 2"; two attempts mean it moves on to the next PR; changed findings ask again

💘 Generated with Crush

The first auto-fix run for the Keycloak PR died when GitHub's runner lost
contact, and the once-per-head rule then left the PR stuck. Auto-fix now
allows two attempts per head and set of findings, which covers a lost run
while still stopping a fix the job cannot make from looping.

💘 Generated with Crush

Assisted-by: Crush:claude-opus-5-5

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@daltoniam daltoniam added the bug Something isn't working label Nov 7, 2026

@overload-agent overload-agent Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Overload found no issues in this pull request.

@daltoniam
daltoniam merged commit 1c4666b into main Nov 7, 2026
10 checks passed
@daltoniam
daltoniam deleted the fix/autofix-retry branch November 7, 2026 21:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant