FR: allow informing zoekt about `fetch --force`
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 5/5
- Thời gian dự kiến
- Hơn một tuần
- Mức phù hợp với người mới
- 25/100
- Loại issue
- Tính năng
- Độ rõ ràng
- Cần làm rõ
- Mức độ hoạt động
- Đình trệ
- Công nghệ
- git
- Lĩnh vực
- devops
Hướng nghiên cứu
Start with the issue's git fetch failure example and investigate how sourcebot handles fetches and communicates repository state to Zoekt. No source file, test, or entry point is named. Done would require a decided way to support force-fetch behavior and verification that tags stay aligned with upstream.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
I would suspect there are a non-trivial number of repos that do force pushes, including overwriting tags:
2024/10/05 17:34:27 command [git --git-dir /data/.sourcebot/repos/github.com/JetBrains/intellij-community.git fetch origin --prune] failed: exit status 1
! [rejected] idea/191.7141.44 -> idea/191.7141.44 (would clobber existing tag)
In those scenarios, what sourcebot believes is the tag will not square up with the upstream's idea of the tag
I actually checked their issue tracker and surprisingly there doesn't seem to be an issue for influencing that behavior. So in that way, it's great you have a fork
If you want me to try and open the issue with them, let me know
- Ngôn ngữ chính
- TypeScript
- Star
- 3.9k
- Fork
- 374
- Merge trung bình
- 21 giờ 18 phút
- Pull request đã merge (30 ngày)
- 39
Hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của sourcebot-dev/sourcebot
-
bug triage needed
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 84/100
sourcebot-dev/sourcebot#1681 · 1 bình luận ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 84/100
sourcebot-dev/sourcebot#1633 ·
-
bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 78/100
sourcebot-dev/sourcebot#1384 · 4 bình luận ·
-
ask_sb bug
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 76/100
sourcebot-dev/sourcebot#1137 · 4 bình luận ·
-
bug triage needed
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100
sourcebot-dev/sourcebot#1661 · 1 bình luận ·
Tất cả issue của sourcebot-dev/sourcebot
Issue tương tự
-
bug(cli): hapi doctor inline-media prints a fabricated B:\ helper-script path in packaged installs Đang mở
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 70/100
-
Crush Đang mở
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 85/100
catppuccin/catppuccin#3125 ·
-
Add a SECURITY.md Đang mở
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 90/100
ElementsProject/cln-application#167 · 1 bình luận · 1 reaction ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100
Quantco/pnpm-licenses#17 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 75/100