Skip to content

Conversation

@deansheather
Copy link
Member

Instead of overwriting GIT_SSH_COMMAND entirely, append SSH options to the existing value. Falls back to ssh if not set.

This allows users who have custom SSH commands configured (e.g., for specific identity files or proxy settings) to still benefit from our BatchMode and StrictHostKeyChecking options.

Generated with mux

@chatgpt-codex-connector
Copy link

Codex usage limits have been reached for code reviews. Please check with the admins of this repo to increase the limits by adding credits.
Repo admins can enable using credits for code reviews in their settings.

Instead of overwriting GIT_SSH_COMMAND entirely, append SSH options
to the existing value. Falls back to 'ssh' if not set.

_Generated with mux_
Copy link

Copilot AI left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR modifies the GIT_SSH_COMMAND environment variable to preserve any existing user-configured SSH commands instead of overwriting them entirely. The change appends SSH options (BatchMode=yes and StrictHostKeyChecking=accept-new) to the existing command or falls back to ssh if not set.

Key Changes:

  • Updated GIT_FETCH_SCRIPT to use shell parameter expansion for preserving existing GIT_SSH_COMMAND
  • Minor formatting adjustments in bump_tag.sh script

Reviewed changes

Copilot reviewed 1 out of 2 changed files in this pull request and generated 2 comments.

File Description
src/common/utils/git/gitStatus.ts Modified GIT_SSH_COMMAND to preserve existing value using ${GIT_SSH_COMMAND:-ssh} pattern
scripts/bump_tag.sh Removed spacing around redirection operators for consistent shell script formatting

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

@deansheather deansheather merged commit 8b4dd97 into main Dec 3, 2025
13 checks passed
@deansheather deansheather deleted the fix/preserve-git-ssh-command branch December 3, 2025 02:47
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