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: Torne Wuff <>
Date: Sat, 2 Jul 2011 12:21:02 +0100

On 2 July 2011 12:00, Thomas Martitz <> wrote:
> Isn't it proper to delete branches when the work for them is done?

If they've been merged, you can delete the branch head but the commits
are still part of history as they are now attached to master via the
merge; you aren't actually deleting any content, just removing a
pointer you don't need.

These branches are from svn and were never merged, just submitted as a
normal commit, so if the branch head is deleted the commits on those
branches will disappear and that part of history will be lost. It may
well not be any great loss, but the cost of keeping them is tiny; they
won't appear in people's clones unless they "git fetch origin

Torne Wuff
Received on 2011-07-02

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