2011/7/2 Thomas Martitz <kugel_at_rockbox.org>:
> Isn't it proper to delete branches when the work for them is done?

I'd recommend not to delete branches unless you need the disk space.
Git stores the changes history and acts like a good backup system,
that's what it was designed for. An user or a developer could,
however, choose to delete branches in his/her local cloned repo, this
is another story.

-- 
Francisco Vila. Badajoz (Spain)
www.paconet.org , www.csmbadajoz.com