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.