mirror of
https://github.com/chengazhen/gitlens-pro.git
synced 2026-04-25 04:15:52 +03:00
[GH-ISSUE #14] 激活失败的看这个 #13
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#13
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 @chengazhen on GitHub (Feb 26, 2026).
Original GitHub issue: https://github.com/chengazhen/gitlens-pro/issues/14
https://github.com/chengazhen/gitlens-pro/issues/11