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

Reply via email to