I'm pretty glad every plugin isn't in its own repo yet!
On Sat, Mar 23, 2013 at 6:38 PM, Joe Bowser <bows...@gmail.com> wrote: > 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 > > >
