Skip to content

Comments

feat: runner leader election CLI commands#411

Draft
RealHarshThakur wants to merge 14 commits intomainfrom
ht/leader-cli
Draft

feat: runner leader election CLI commands#411
RealHarshThakur wants to merge 14 commits intomainfrom
ht/leader-cli

Conversation

@RealHarshThakur
Copy link
Contributor

@RealHarshThakur RealHarshThakur commented Feb 19, 2026

Runner Leader Election — CLI

Adds CLI commands for runner leader election and taint management.

Stack: PR 1 (ctl-api + SDK) → PR 2 (this) → PR 3 (Runner Dev) → PR 4 (Systemd)

@RealHarshThakur RealHarshThakur changed the base branch from ht/leader-sdk to main February 19, 2026 11:49
@github-actions github-actions bot added the api label Feb 19, 2026
@RealHarshThakur RealHarshThakur marked this pull request as draft February 19, 2026 16:46
@github-actions
Copy link

This PR was marked as stale, and will be closed after 3 more days. Add the #keep-open label to prevent this from being closed.

@github-actions github-actions bot added the stale label Feb 21, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants