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 fetch

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

2013-04-19 Thread Jed Brown
Jeff King p...@peff.net 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

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 p...@peff.net 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