I'd say the policy on branch deletions is "don't" but others might disagree. git branch --no-merged is useful.
Sent from the ocean floor On 3 Nov 2012, at 16:38, Benoit Chesneau <bchesn...@gmail.com> wrote: > On Sat, Nov 3, 2012 at 5:24 PM, Robert Newson <robert.new...@gmail.com>wrote: > >> Or just leave it out entirely like we said at the start of all this. > so at then end we will have XXXXXXXXXXX branches. Or rather what is the > policy to delete branches? > > - benoit