diff options
| author | Vallie Joseph <vmjoseph@github.com> | 2022-12-01 15:52:47 +0000 |
|---|---|---|
| committer | Vallie Joseph <vmjoseph@github.com> | 2022-12-01 15:52:47 +0000 |
| commit | dbde1f7446e488daa71546f30dae978dd71a506c (patch) | |
| tree | 98a2541ea8895a9bf9b0b277c93cbc7cdee72fb2 /src/git-command-manager.ts | |
| parent | a55f5b82be9a6e2937f5ac87eafaa9582467e3b3 (diff) | |
.
Diffstat (limited to 'src/git-command-manager.ts')
| -rw-r--r-- | src/git-command-manager.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/git-command-manager.ts b/src/git-command-manager.ts index 2a0b588..4c86e65 100644 --- a/src/git-command-manager.ts +++ b/src/git-command-manager.ts @@ -94,6 +94,7 @@ class GitCommandManager { const result: string[] = [] const stderr: string[] = [] + core.info(this.gitEnv['GIT_HTTP_USER_AGENT']) // Note, this implementation uses "rev-parse --symbolic-full-name" because the output from // "branch --list" is more difficult when in a detached HEAD state. // Note, this implementation uses "rev-parse --symbolic-full-name" because there is a bug |