Re: Git branch deletion not based on HEAD branch anymore

2017-04-07 Thread Javier Domingo Cansino
> There's "branch --merged" already. And in recent versions of git, the > scriptable for-each-ref knows it, too. So you could do something like: > > git for-each-ref --format='delete %(refname)' --merged HEAD refs/heads/ | > grep -v 'any-branches-you-want-saved' | > git update-ref --stdin Ye

Re: Git branch deletion not based on HEAD branch anymore

2017-04-06 Thread Jeff King
On Thu, Apr 06, 2017 at 10:31:55PM +0200, Javier Domingo Cansino wrote: > I understand it's not possible / convenient anymore to go back, but > would it be possible to have an option such as `--merged` to support > the old usecase? There's "branch --merged" already. And in recent versions of git,

Git branch deletion not based on HEAD branch anymore

2017-04-06 Thread Javier Domingo Cansino
Hello, I have noticed that in the "latest" versions of git, `git branch -d branch` instead of refusing to delete a branch that hasn't been merged to HEAD, it now throws a warning and deleting the local branch if it's present in a remote. Example: ``` > git branch -d command-runner warning: deleti