Simplify PR header change to only modify display layer

Instead of modifying GraphQL queries and utils, construct the owner/repo:branch format directly in the PR overview and activity bar view provider using existing owner, name, and ref properties from GitHubRef.

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

Author: Copilot

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

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

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

@@ -95,6 +95,11 @@ declare module 'vscode' {
 		 */
 		description?: string | MarkdownString;
 
+		/**
+		 * An optional badge that provides additional context about the chat session.
+		 */
+		badge?: string | MarkdownString;
+
 		/**
 		 * An optional status indicating the current state of the session.
 		 */

src/github/activityBarViewProvider.ts

@@ -252,10 +252,10 @@ export class PullRequestViewProvider extends WebviewViewBase implements vscode.W
 				state: pullRequest.state,
 				isCurrentlyCheckedOut: isCurrentlyCheckedOut,
 				isRemoteBaseDeleted: pullRequest.isRemoteBaseDeleted,
-				base: pullRequest.base.label,
+				base: `${pullRequest.base.owner}/${pullRequest.base.name}:${pullRequest.base.ref}`,
 				isRemoteHeadDeleted: pullRequest.isRemoteHeadDeleted,
 				isLocalHeadDeleted: !branchInfo,
-				head: pullRequest.head?.label ?? '',
+				head: pullRequest.head ? `${pullRequest.head.owner}/${pullRequest.head.name}:${pullRequest.head.ref}` : '',
 				canEdit: canEdit,
 				hasWritePermission,
 				mergeable: pullRequest.item.mergeable,

src/github/graphql.ts

@@ -609,7 +609,6 @@ export interface RefRepository {
 		login: string;
 	};
 	url: string;
-	name: string;
 }
 
 export interface BaseRefRepository extends RefRepository {

src/github/pullRequestOverview.ts

@@ -310,10 +310,10 @@ export class PullRequestOverviewPanel extends IssueOverviewPanel<PullRequestMode
 				...baseContext,
 				isCurrentlyCheckedOut: isCurrentlyCheckedOut,
 				isRemoteBaseDeleted: pullRequest.isRemoteBaseDeleted,
-				base: pullRequest.base.label,
+				base: `${pullRequest.base.owner}/${pullRequest.base.name}:${pullRequest.base.ref}`,
 				isRemoteHeadDeleted: pullRequest.isRemoteHeadDeleted,
 				isLocalHeadDeleted: !branchInfo,
-				head: pullRequest.head?.label ?? '',
+				head: pullRequest.head ? `${pullRequest.head.owner}/${pullRequest.head.name}:${pullRequest.head.ref}` : '',
 				repositoryDefaultBranch: defaultBranch,
 				status: status[0],
 				reviewRequirement: status[1],

src/github/queries.gql

@@ -207,7 +207,6 @@ fragment PullRequestFragment on PullRequest {
 			login
 		}
 		url
-		name
 	}
 	baseRef {
 		...Ref
@@ -220,7 +219,6 @@ fragment PullRequestFragment on PullRequest {
 			login
 		}
 		url
-		name
 		squashMergeCommitTitle
 		squashMergeCommitMessage
 		mergeCommitMessage

src/github/utils.ts

@@ -297,7 +297,7 @@ export function convertRESTUserToAccount(
 
 export function convertRESTHeadToIGitHubRef(head: OctokitCommon.PullsListResponseItemHead): IGitHubRef {
 	return {
-		label: `${head.repo.owner!.login}/${head.repo.name}:${head.ref}`,
+		label: head.label,
 		ref: head.ref,
 		sha: head.sha,
 		repo: {
@@ -596,14 +596,14 @@ function parseRef(refName: string, oid: string, repository?: GraphQL.RefReposito
 	}
 
 	return {
-		label: `${repository.owner.login}/${repository.name}:${refName}`,
+		label: `${repository.owner.login}:${refName}`,
 		ref: refName,
 		sha: oid,
 		repo: {
 			cloneUrl: repository.url,
 			isInOrganization: repository.isInOrganization,
 			owner: repository.owner.login,
-			name: repository.name
+			name: refName
 		},
 	};
 }

src/test/builders/graphql/pullRequestBuilder.ts

@@ -15,7 +15,6 @@ const RefRepositoryBuilder = createBuilderClass<RefRepository>()({
 		login: { default: 'me' },
 	}),
 	url: { default: 'https://github.com/owner/repo' },
-	name: { default: 'repo' },
 });
 
 const BaseRefRepositoryBuilder = createBuilderClass<BaseRefRepository>()({
@@ -24,7 +23,6 @@ const BaseRefRepositoryBuilder = createBuilderClass<BaseRefRepository>()({
 		login: { default: 'me' },
 	}),
 	url: { default: 'https://github.com/owner/repo' },
-	name: { default: 'repo' },
 	mergeCommitMessage: { default: DefaultCommitMessage.commitMessages },
 	mergeCommitTitle: { default: DefaultCommitTitle.mergeMessage },
 	squashMergeCommitMessage: { default: DefaultCommitMessage.prBody },