mirror of
https://github.com/deepseek-ai/awesome-deepseek-agent.git
synced 2026-11-05 01:07:37 +00:00
[PR #91] [MERGED] Add GitHub repo link for Co-Pilot extension installation #198
Labels
No labels
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
deepseek-ai/awesome-deepseek-agent#198
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/deepseek-ai/awesome-deepseek-agent/pull/91
Author: @SomeAB
Created: 5/10/2026
Status: ✅ Merged
Merged: 5/11/2026
Merged by: @DillionApple
Base:
main← Head:patch-1📝 Commits (3)
a48c3caAdd GitHub repo link for extension installatione98d57ePotential fix for pull request findingb1e39d6Fix formatting in GitHub Copilot documentation📊 Changes
1 file changed (+1 additions, -1 deletions)
View changed files
📝
docs/github_copilot.md(+1 -1)📄 Description
Updated installation instructions for the extension to include the GitHub repository link.
Currently the marketplace link is broken, so this helps people to find the VSIX file they can use to install it.
See issue: https://github.com/deepseek-ai/awesome-deepseek-agent/issues/71
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.