Address code review feedback: remove unrelated file change and improve comments

Co-authored-by: alexr00 <38270282+alexr00@users.noreply.github.com>

Author: Copilot

src/@types/vscode.proposed.chatParticipantAdditions.d.ts

@@ -105,7 +105,6 @@ declare module 'vscode' {
 		isComplete?: boolean;
 		toolSpecificData?: ChatTerminalToolInvocationData;
 		fromSubAgent?: boolean;
-		presentation?: 'hidden' | 'hiddenAfterComplete' | undefined;
 
 		constructor(toolName: string, toolCallId: string, isError?: boolean);
 	}

src/github/folderRepositoryManager.ts

@@ -1498,6 +1498,7 @@ export class FolderRepositoryManager extends Disposable {
 				// No GitHubRepository? Fall back to using configured GitHub remotes
 				// instead of failing, to support scenarios where the upstream is set to
 				// a non-GitHub remote but GitHub remotes are configured separately.
+				// Fallback logic follows below (lines 1507-1514).
 			} else {
 				// Otherwise, we'll push upstream.
 				return upstream;