logging and type fix

Author: spoons-and-mirrors

lib/messages/inject.ts

@@ -143,6 +143,12 @@ export const insertPruneToolContext = (
     const isGitHubCopilot =
         providerID === "github-copilot" || providerID === "github-copilot-enterprise"
 
+    logger.info("Injecting prunable-tools list", {
+        providerID,
+        isGitHubCopilot,
+        injectionType: isGitHubCopilot ? "assistant-with-tool-part" : "user-message",
+    })
+
     if (isGitHubCopilot) {
         messages.push(
             createSyntheticAssistantMessageWithToolPart(lastUserMessage, prunableToolsContent),

lib/messages/utils.ts

@@ -49,6 +49,7 @@ export const createSyntheticAssistantMessageWithToolPart = (
             id: SYNTHETIC_MESSAGE_ID,
             sessionID: userInfo.sessionID,
             role: "assistant",
+            agent: userInfo.agent || "code",
             parentID: userInfo.id,
             modelID: userInfo.model.modelID,
             providerID: userInfo.model.providerID,