Re: Find/prune local branches after upstream branch is deleted?

2013-04-19 Thread Jed Brown
Jeff King writes: > On Fri, Apr 19, 2013 at 12:50:48PM -0500, Jed Brown wrote: > >> Jeff King writes: >> >> > Try "git branch --merged master" to get a list of branches that have >> > already been merged. >> >> That's what I use, but I was hoping for something more precise. For >> example, a

Re: Find/prune local branches after upstream branch is deleted?

2013-04-19 Thread Jeff King
On Fri, Apr 19, 2013 at 12:50:48PM -0500, Jed Brown wrote: > Jeff King writes: > > > Try "git branch --merged master" to get a list of branches that have > > already been merged. > > That's what I use, but I was hoping for something more precise. For > example, a branch that started at 'maint'

Re: Find/prune local branches after upstream branch is deleted?

2013-04-19 Thread Jed Brown
Jeff King writes: > Try "git branch --merged master" to get a list of branches that have > already been merged. That's what I use, but I was hoping for something more precise. For example, a branch that started at 'maint' would show up there, but its integration hasn't completed until it makes

Re: Find/prune local branches after upstream branch is deleted?

2013-04-19 Thread Jeff King
On Fri, Apr 19, 2013 at 12:11:38PM -0500, Jed Brown wrote: > Consider this workflow: > > $ git checkout -b my/branch > hack, commit, ... > $ git push -u origin my/branch > > The branch gets reviewed, merged, and eventually deleted upstream. The > remote tracking branch gets pruned via 'git fetc

Find/prune local branches after upstream branch is deleted?

2013-04-19 Thread Jed Brown
Consider this workflow: $ git checkout -b my/branch hack, commit, ... $ git push -u origin my/branch The branch gets reviewed, merged, and eventually deleted upstream. The remote tracking branch gets pruned via 'git fetch --prune' or 'git remote prune', but that leaves my local branch with an up