Skip to content
This repository was archived by the owner on Jan 23, 2026. It is now read-only.

[Backport release-0.7] Lease handling user enhancements#676

Merged
mangelajo merged 5 commits intorelease-0.7from
backport-671-to-release-0.7
Oct 1, 2025
Merged

[Backport release-0.7] Lease handling user enhancements#676
mangelajo merged 5 commits intorelease-0.7from
backport-671-to-release-0.7

Conversation

@jumpstarter-backport-bot
Copy link
Copy Markdown

Bot-based backport to release-0.7, triggered by a label in #671.

When lease is not available we try for 300s to acquire it. Users can also interrupt this with Ctrl+C while waiting. Let's remove such lease requests since after termination the shell is gone and it leaves behind a mostly useless lease.

(cherry picked from commit f50c12b)
should also result in immediate error, there's no chance the lease will ever be satisfied

(cherry picked from commit 41ee94c)
when trying to acquire a lease it'suseful to know the lease id.
Lease changes are not so frequent (and not that fast either), let's poll only once in 5s to save bandwidth a bit

(cherry picked from commit cfbe5ff)
it's useful to know where the user is connecting to instead of just "remote". Especially for lease selectors that can be satisfied by multiple exporters.

(cherry picked from commit 8256580)
increase the default time we want for lease to become availble to 2h.
Add new client config for timeout on lease acquisition:
leases:
  acquisition_timeout: 7200

Also print a clear error message when timeout happens.

(cherry picked from commit f20fd63)
@coderabbitai
Copy link
Copy Markdown
Contributor

coderabbitai Bot commented Oct 1, 2025

Important

Review skipped

Bot user detected.

To trigger a single review, invoke the @coderabbitai review command.

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.


Comment @coderabbitai help to get the list of available commands and usage tips.

@mangelajo mangelajo enabled auto-merge October 1, 2025 13:29
@mangelajo mangelajo merged commit 187614b into release-0.7 Oct 1, 2025
11 checks passed
@mangelajo mangelajo deleted the backport-671-to-release-0.7 branch October 1, 2025 13:29
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants