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.
_______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev
