[Texmacs-dev] The Git Migration

[Darcy Shen]

The Github repo witnessed its success in the past serveral months.

Why migration？

Why not migration？

Git and SVN coexists fine.

And we need a bot to commit our changes to SVN.

SVN repo works. But we need to carefully divide our directories. Each top level directory maps to a git repo. It is easy and elegant.