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 Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev