From cccf19fd0fbfb29176714f93e04df2d846481f81 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Wed, 16 Jul 2025 18:51:43 +0000
Subject: [PATCH 1/2] Initial plan


From 88c89edadc4d1bd7ba4d037b7a8fe34391c1533e Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Wed, 16 Jul 2025 19:02:56 +0000
Subject: [PATCH 2/2] Add documentation link to Copilot coding agent error
 message

Co-authored-by: rebornix <876920+rebornix@users.noreply.github.com>
---
 src/lm/tools/copilotRemoteAgentTool.ts | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/lm/tools/copilotRemoteAgentTool.ts b/src/lm/tools/copilotRemoteAgentTool.ts
index c0f32a4e68..3c43f9ecf1 100644
--- a/src/lm/tools/copilotRemoteAgentTool.ts
+++ b/src/lm/tools/copilotRemoteAgentTool.ts
@@ -9,6 +9,8 @@ import { ITelemetry } from '../../common/telemetry';
 import { CopilotRemoteAgentManager } from '../../github/copilotRemoteAgent';
 import { FolderRepositoryManager } from '../../github/folderRepositoryManager';
 
+const CODING_AGENT_DOCS_URL = 'https://docs.github.com/copilot/using-github-copilot/coding-agent';
+
 export interface CopilotRemoteAgentToolParameters {
 	// The LLM is inconsistent in providing repo information.
 	// For now, we only support the active repository in the current workspace.
@@ -32,7 +34,7 @@ export class CopilotRemoteAgentTool implements vscode.LanguageModelTool<CopilotR
 		// Check if the coding agent is available (enabled and assignable)
 		const isAvailable = await this.manager.isAvailable();
 		if (!isAvailable) {
-			throw new Error(vscode.l10n.t('Copilot coding agent is not available for this repository. Make sure the agent is enabled and assignable to this repository.'));
+			throw new Error(vscode.l10n.t('Copilot coding agent is not available for this repository. Make sure the agent is enabled and assignable to this repository. [Learn more about coding agent]({0}).', CODING_AGENT_DOCS_URL));
 		}
 
 		const targetRepo = await this.manager.repoInfo();