Skip to content

change display name#4

Merged
dr75 merged 1 commit into
mainfrom
mro/name
Oct 10, 2025
Merged

change display name#4
dr75 merged 1 commit into
mainfrom
mro/name

Conversation

@dr75
Copy link
Copy Markdown
Contributor

@dr75 dr75 commented Oct 10, 2025

Change the name from
Privatemode Provider for GitHub Copilot Chat to Privatemode AI for GitHub Copilot

In some places there is still GitHub Copilot Chat (not GitHub Copilot) as this is the name of the extension we depend on.

@dr75 dr75 requested a review from msanft October 10, 2025 13:03
@dr75 dr75 merged commit 6ad1583 into main Oct 10, 2025
2 checks passed
@dr75 dr75 deleted the mro/name branch October 10, 2025 13:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants