Skip to content

Conversation

@dylan-hurd-oai
Copy link
Collaborator

Summary

Add fallbacks when user_shell_path does not resolve to a known shell type

Testing

  • Tests still pass

@dylan-hurd-oai dylan-hurd-oai merged commit b00a7cf into main Nov 20, 2025
23 of 25 checks passed
@dylan-hurd-oai dylan-hurd-oai deleted the dh--fix-unknown-shell branch November 20, 2025 00:41
@github-actions github-actions bot locked and limited conversation to collaborators Nov 20, 2025
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.

4 participants