Re: please migrate to git

[Gavin Smith]

On Sun, Nov 25, 2018 at 10:02:02AM +0900, Norbert Preining wrote:
> git svn clone SVNREPO --no-metadata -A AUTHORSFILE --stdlayout  
> ./temp.checkout
> # if there are svn ignore stuff:
> # cd temp.checkout
> # git svn show-ignore > .gitignore
> # git add .gitignore
> # git commit -m 'Convert svn:ignore properties to .gitignore.'
> # cd ..
> cd temp.checkout
> git remote add bare BAREREPO          # BAREREPO could be gihub/savanaa/..
> git config remote.bare.push 'refs/remotes/*:refs/heads/*'
> git push bare
> cd ..
> rm -rf temp.checkout
> git clone BAREREPO

I think there is something not quite right with these instructions 
because I got a lot of extra branches created some with names like

refs/remotes/bare/bare/tags/TEXI2HTML_1_65

where the "bare" element occurs twice, some like

refs/remotes/bare/tags/TEXI2HTML_1_65

where the "bare" element occurs once.

I suspect it was the "git config remote.bare.push" line.  I think I've 
managed to remove the extra branches now and removed the "bare" remote.