Git vs. SVN: A Practice to Git-SVN GNU TeXmacs

https://github.com/texmacs GNU TeXmacs is a greate project. However, it still uses SVN. I thought git is better than SVN and tried to convince others developer that migration from Git to SVN would be great. However, recently I changed my mind. A coexistence of Git and SVN would be best solution. We have one SVN repo on savannah. And on github, there are several repos. texmacs: the source code repo web: the website repo devel: the doc for developers plugins: the collection of plugins doc: the full documentation And our contributors can take advantages of Github Pull Request.