Skip to content

Support custom SSH usernames for install sources#178

Merged
runkids merged 2 commits into
runkids:mainfrom
PeterTianbuhan:codex/ghe-ssh-username
May 31, 2026
Merged

Support custom SSH usernames for install sources#178
runkids merged 2 commits into
runkids:mainfrom
PeterTianbuhan:codex/ghe-ssh-username

Commits

Commits on May 31, 2026