feat: add a http_retries setting to define number of retry attempts

[roele]

I gave Add --retry option for mise install (#6429) a try (hence draft).

Not quite sure about making this global even though it affects various commands (e.g. ls, install, outdated, ...). Also not sure about the wording. Should we use MISE_HTTP_RETRIES to make it more clear or leave it open for possible use for other types of retries?

WDYT @jdx?

---

Note

Adds a new http_retries setting and implements exponential-backoff retries for HTTP requests and downloads.

• HTTP Retries
  • Implement retries using tokio-retry with exponential backoff + jitter in src/http.rs (download_file_with_headers, send_with_https_fallback).
  • Add default_backoff_strategy(retries) helper to control retry count.
• Configuration
  • New setting: settings.http_retries (env: MISE_HTTP_RETRIES) with docs; exposed in settings.toml and schema/mise.json.
• Dependencies
  • Add tokio-retry crate; update Cargo.toml and Cargo.lock.

^{Written by Cursor Bugbot for commit ac6c653. This will update automatically on new commits. Configure here.}

[jdx]

I think just on install and maybe use would be good for now. I think global might be weird with mise run.

Maybe we could make this a setting too? Or maybe instead of the CLI flag?

[roele]

Agreed. Having just a setting (and env var) is probably better than a flag and aligns better with the http_timeout.

[jdx]

Might be good to name it MISE_TOOL_RETRIES so it's clear what it's for

[roele]

It's currently implemented on HTTP level so it also affects other commands/requests like fetching GitHub releases/tags which is part of a tool installation. So it also applies when getting latest version via ls, checking outdated etc. so i think MISE_HTTP_RETRIES might be a better fit.
Regarding installation this might not work for all backends, for example spm does a Git clone so this would not apply. Maybe we require a different approach especially for installation failures?

[jdx]

Ahh I see. Hmm. I was thinking this would be at a higher level for tool installs but maybe http is better?

[Copilot]

Pull Request Overview

This PR adds HTTP retry functionality to mise with a configurable http_retries setting. The implementation uses an exponential backoff strategy with jitter to automatically retry failed HTTP requests.

• Adds a new http_retries configuration setting with default value of 0 (no retries)
• Implements retry logic for both file downloads and general HTTP requests using the tokio-retry crate
• Uses exponential backoff with jitter starting from 10ms base duration

Reviewed Changes

Copilot reviewed 4 out of 5 changed files in this pull request and generated 4 comments.

File	Description
src/http.rs	Implements retry logic for HTTP operations using tokio-retry with exponential backoff
settings.toml	Adds http_retries configuration setting with documentation
schema/mise.json	Updates JSON schema to include the new http_retries setting
Cargo.toml	Adds tokio-retry dependency

---

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}

[jdx]

bugbot run