[Tei-council] delete git branch?

I re-named the "nest_TEI_deprecate_teiCorpus" branch to "sydb_standOff". That really means, of course, that I copied it. If we delete the old one, is the history still kept in the new one? (Looking at [1] it looks like the history would be kept, and we can just delete the old one.) Notes ----- [1] https://github.com/TEIC/TEI/commits/sydb_standOff/P5/Source/Specs/TEI.xml