Re: closing Octave-Forge svn repository

[Alexander Barth]

> Also, I noticed that the repository you have on github has an extra
> empty commit not present in subversion.  I'm guessing that's leftovers
> from some git plumbing you had to do.  I removed it before pushing it
> to octave forge.  You can push it again but if you want to remove it
> yourself from github:
>
>     git reset --hard HEAD^
>     git push --force your-github-remote-name master
>

I am new to git and it was simpler for me to delete my github
repository and to reimport your source-forge git repository to github.
So they have now exactly the same version history.

Regards,
Alexander