Incorrect "PR #5 remains open" remains open after git stack modify for a PR that is already closed
- Ngôn ngữ chính
- Go
- Star
- 1.5k
- Fork
- 70
- Merge trung bình
- 1 ngày 8 giờ
- Pull request đã merge (30 ngày)
- 7
Mô tả
1. Use `gs submit` to create stack with depth 2. Let's say branch names `layer1` and `layer2`
2. I close the PR for `layer2` in the GitHub UI
3. I want to remove the stack locally, so I use `git stack modify`, press `x` to delete the layer, and then `Control+S` to save.
I get the following output
```
$ gs modify
✓ Dropped layer2 from stack
✓ Stack modified successfully
Dropped: layer 2(PR #53155 remains open — close with `gh pr close 53155`)
Run `gh stack submit` to push your changes and update the stack of PRs on GitHub
```
Now `gh` cli can clearly tell the PR is already closed, because when I try to close it:
```
$ gh pr close 53155
! Pull request repo#53155 (PR Title) is already closed
```
I think a fix will be doing a resync on the state from GitHub before showing this message.
Hướng dẫn đóng góp
Hướng nghiên cứu
Bắt đầu với luồng lưu của `git stack modify`, bao gồm đầu ra của `gs modify` báo cáo một lớp đã bị loại bỏ vẫn đang mở. Kiểm tra cách trạng thái PR GitHub được lấy trước thông báo đó; hoàn tất khi một PR đã đóng trên GitHub không còn được báo cáo là đang mở sau khi lớp bị xóa.
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, go
- Lĩnh vực
- api, cli
- Loại issue
- Lỗi
- Độ khó
- 3/5
- Thời gian dự kiến
- 1-2 ngày
- Mức độ hoạt động
- Sôi nổi
- Độ rõ ràng
- Khá rõ ràng
- Mức phù hợp với người mới
- 65/100