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 <[email protected]> wrote: > On Sat, Nov 3, 2012 at 5:24 PM, Robert Newson <[email protected]>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
