Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Integration with github co-pilot #2127

Closed
shriharip opened this issue Apr 16, 2022 · 1 comment
Closed

Integration with github co-pilot #2127

shriharip opened this issue Apr 16, 2022 · 1 comment
Labels
C-enhancement Category: Improvements R-duplicate Duplicated issue: please refer to the linked issue

Comments

@shriharip
Copy link

Describe your feature request

Pretty much on lines with issue #1015 , looking for integration with github co-pilot.
@shriharip shriharip added the C-enhancement Category: Improvements label Apr 16, 2022
@the-mikedavis
Copy link
Member

Duplicate of #1927

@the-mikedavis the-mikedavis marked this as a duplicate of #1927 Apr 16, 2022
@kirawi kirawi added the R-duplicate Duplicated issue: please refer to the linked issue label Apr 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-enhancement Category: Improvements R-duplicate Duplicated issue: please refer to the linked issue
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@shriharip @the-mikedavis @kirawi