github / github/app

Refresh/keep session in sync with external modifications (e.g. via VS Code)

Đang mở
#1,687 0 bình luận 0 reaction 0 người được giao Xem trên GitHub
Ngôn ngữ chính
Không có dữ liệu ngôn ngữ
Star
2.1k
Fork
153
Chỉ số merge pull request
Không có pull request nào được merge trong 30 ngày

Mô tả

### Feature summary

_No response_

### What problem are you trying to solve?

After implementing something in the app, it's common to e.g. open VS Code to tweak/review/continue manual work. The Github App session is visible inside VS Code, and can be continued there, but the changes aren't picked up back in the Github App; the latter must be restarted for it to reread the session continuation done outside in VS Code.

### Proposed solution

In an ideal world, the App would simply detect external session and show them; since that's probably complicated (two UIs working on the same copilot session), at least some way to refresh the session , similar to what a restart does would help.

### Workflow impact

_No response_

### Installation context

_No response_

### Additional context

Note slight similarity with #1205, though that issue is more about picking up **new** sessions, whereas here it's about picking up continuations of existing/known sessions.

Hướng dẫn đóng góp

Mở hướng dẫn đóng góp

Hướng nghiên cứu

Issue không nêu tên tệp, bài kiểm thử hay điểm bắt đầu nào. Hãy bắt đầu bằng cách lần theo cách GitHub App đọc các phiên Copilot và cách các phiên tiếp tục được tạo trong VS Code trở nên hiển thị sau khi ứng dụng khởi động lại; công việc được xem là hoàn tất khi một phiên hiện có có thể được làm mới để hiển thị các thay đổi bên ngoài mà không cần khởi động lại ứng dụng.

Do mô hình lập chỉ mục viết ra từ nội dung của issue.

Đánh giá

Công nghệ
github, vscode
Lĩnh vực
desktop, developer-experience
Loại issue
Tính năng
Độ khó
5/5
Thời gian dự kiến
Hơn một tuần
Mức độ hoạt động
Ít trao đổi
Độ rõ ràng
Cần làm rõ
Mức phù hợp với người mới
35/100

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.