mirror of
https://github.com/chengazhen/gitlens-pro.git
synced 2026-04-25 04:15:52 +03:00
[GH-ISSUE #11] graph.js 失败: 未找到匹配模式 #10
Labels
No labels
documentation
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
starred/gitlens-pro#10
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?
Originally created by @silie666 on GitHub (Jan 13, 2026).
Original GitHub issue: https://github.com/chengazhen/gitlens-pro/issues/11
gitlens版本17.0.2
@CodeMasterKr1sWu commented on GitHub (Jan 15, 2026):
遇到了相同的问题,gitlens-17.9.0
@chengazhen commented on GitHub (Jan 26, 2026):
这只是匹配失败 忽略这个问题就行
@CodeMasterKr1sWu commented on GitHub (Jan 27, 2026):
确实,检查了下可以。感谢~