Agent sessions - use badge to show repository name (#3275)

* Agent sessions - use badge to show repository name

* Pull request feedback
This commit is contained in:
Ladislau Szomoru
2026-01-29 20:19:30 +01:00
committed by GitHub
parent 7a1b252bc9
commit 8f382d8f9f
2 changed files with 5 additions and 19 deletions
@@ -173,8 +173,9 @@ export class CopilotCLIChatSessionItemProvider extends Disposable implements vsc
// Badge
let badge: vscode.MarkdownString | undefined;
if (worktreeProperties?.branchName) {
badge = new vscode.MarkdownString(`$(worktree) ${worktreeProperties.branchName}`);
if (worktreeProperties?.repositoryPath) {
const repositoryPathUri = vscode.Uri.file(worktreeProperties.repositoryPath);
badge = new vscode.MarkdownString(`$(repo) ${basename(repositoryPathUri)}`);
badge.supportThemeIcons = true;
}
@@ -1244,23 +1244,8 @@ export class CopilotCloudSessionsProvider extends Disposable implements vscode.C
}
private getPullRequestBadge(pr: PullRequestSearchItem): vscode.MarkdownString {
let badgeText: string;
switch (pr.state) {
case 'failed':
badgeText = vscode.l10n.t('$(git-pull-request) Failed in {0}', `#${pr.number}`);
break;
case 'in_progress':
badgeText = vscode.l10n.t('$(git-pull-request) Running in {0}', `#${pr.number}`);
break;
case 'queued':
badgeText = vscode.l10n.t('$(git-pull-request) Queued in {0}', `#${pr.number}`);
break;
default:
badgeText = vscode.l10n.t('$(git-pull-request) {0}', `#${pr.number}`);
break;
}
const badge = new vscode.MarkdownString(badgeText);
const badgeLabel = `${pr.repository.owner.login}/${pr.repository.name}`;
const badge = new vscode.MarkdownString(`$(repo) ${badgeLabel}`, true);
badge.supportThemeIcons = true;
return badge;
}