Replies: 3 comments 5 replies
-
Hmmm just from a quick look:
Is this apparent contradiction explained b/c you mean remote tracking branch once as an entry in .git/refs/remotes locally and once a branch (aka an entry in .git/refs/heads) in remote repo? 🤔
I've thought of
Wow I'd appreciate that a lot... I slowed down contributions to OSS recently as I've got a lot of work in commercial projects. Let's first smooth out the details ofc |
Beta Was this translation helpful? Give feedback.
-
I mean they have basically, the branch has been deleted on github (by the "automatically delete head branches" setting), your local clone acknowledges it's gone (after |
Beta Was this translation helpful? Give feedback.
-
Done, available as |
Beta Was this translation helpful? Give feedback.
-
(continuing from #1057 (comment))
I saw
delete-unmanaged
when I first read the help, but deleting all unmanaged branches seems scary to me. I only use machete when stacking a PR. for regular branches off ofmain
, I generally don't bother, so my machete status is often out of datefor
github sync
, I really can't imagine when I would want to add local branches if I don't already have them. I do totally have multiple clones of repos (in different environments), but if I didn't already make a local copy of a branch, I generally don't want itwould you be open adding a
delete-merged
command that only deletes branches ifI considered adding a flag like
delete-unamanged --remote-deleted-only
, but this would delete branches even if they are managedI'm happy to write the PR if you want
Beta Was this translation helpful? Give feedback.
All reactions