That's so much cooler than branch -d, yo! On Mar 23, 2013 11:21 AM, "Andrew Grieve" <agri...@google.com> wrote:
> For the other git noobs on the list: Now that the next branch is deleted, > you need to tell your local git instances via: > > git remote prune origin >
