Skip to content

sandbox: friendly error messages for clone failures#55

Merged
neenaoffline merged 1 commit intomainfrom
friendly-clone-errors
Mar 21, 2026
Merged

sandbox: friendly error messages for clone failures#55
neenaoffline merged 1 commit intomainfrom
friendly-clone-errors

Conversation

@neenaoffline
Copy link
Member

Translates raw git stderr into user-friendly messages. e.g. could not read Username for 'https://github.com': terminal prompts disabled becomes Repository not found or is private: <url>. Only public repositories are supported.

Translate raw git stderr into user-friendly messages:
- 'could not read Username' / 'terminal prompts disabled'
  → 'Repository not found or is private. Only public repos supported.'
- 'repository not found'
  → 'Repository not found. Check that the URL is correct.'
- 'could not resolve host'
  → 'Could not reach the git host.'
- timeout → clear timeout message
- fallback: trimmed stderr
@neenaoffline neenaoffline merged commit 040608b into main Mar 21, 2026
2 checks passed
@neenaoffline neenaoffline deleted the friendly-clone-errors branch March 21, 2026 21:00
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.

1 participant