dev builds
themes manual
device status forums
mailing lists
IRC bugs
dev guide

Rockbox mail archive

Subject: Re: Tags and branches in git migration

Re: Tags and branches in git migration

From: Francisco Vila <>
Date: Sat, 2 Jul 2011 13:42:38 +0200

2011/7/2 Thomas Martitz <>:
> 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) ,
Received on 2011-07-02

Page template was last modified "Tue Sep 7 00:00:02 2021" The Rockbox Crew -- Privacy Policy