Re: [tei-council] Merging

I'd be lying if I said I understood this, but my instinct is that it's not completely predictable when we might want to keep the revision history for a develop-a-feature branch and when we wouldn't. I suspect that, for the most part, the commit hx for such a branch is not sufficiently useful that we should keep it around. But I can imagine the opposite for a particular feature. If we fold only the tip of a branch into master, we lose the commit hx when we delete that branch, right? Is there any particular advantage to deleting the branch? Can it be merely hidden or moved instead?