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 upstream that has been deleted. Is there a good way to discover this so I can prune my local branches? $ git branch -vv my/branch 6d32ec0 [origin/my/branch] The commit message I can script it, but this seems like a pretty common thing. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
