On Sun, Nov 25, 2018 at 10:02:52PM +0100, Andreas Schwab wrote: > On Nov 25 2018, Gavin Smith <gavinsmith0...@gmail.com> wrote: > > > I believe the branches should be cleared up now. Apparently "git svn" > > creates them all as git branches when they should really be git tags. > > svn does not really have a concept of tags.
That is what I thought.
