Rockbox mail archiveSubject: Re: Tags and branches in git migration
Re: Tags and branches in git migration
From: Francisco Vila <paconet.org_at_gmail.com>
Date: Sat, 2 Jul 2011 13:42:38 +0200
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.comReceived on 2011-07-02