Rename github_orchestration_id to actions_orchestration_id

Co-authored-by: TingluoHuang <[email protected]>
This commit is contained in:
copilot-swe-agent[bot]
2026-01-06 17:20:43 +00:00
co-authored by TingluoHuang
parent 20596c1d96
commit 1dc58e3080
2 changed files with 3 additions and 3 deletions
+1 -1
View File
@@ -823,7 +823,7 @@ export class HttpClient {
// Sanitize the orchestration ID to ensure it contains only valid token characters
// Valid characters: alphanumeric, !, #, $, %, &, ', *, +, -, ., ^, _, `, |, ~
const sanitizedId = orchId.replace(/[^a-zA-Z0-9!#$%&'*+.^_`|~-]/g, '_')
return `${userAgent} github_orchestration_id/${sanitizedId}`
return `${userAgent} actions_orchestration_id/${sanitizedId}`
}
return userAgent
}