On Wednesday, June 20, 2018 20:28:08 Massimiliano Gubinelli wrote: > One reason I see is that in this way we have a full backup of the main svn > TeXmacs repo, which could be useful something should happen to savannah > (which happened in the past…). > > Anyway one of the point of using git is that there is no “blessed” git > repository. For TeXmacs the only official place is the svn repo, the git > mirrors are just convenient for development but, as far as I see, pull > requests should be integrated in svn by people allowed to do it. > > I maintain my svn mirror for myself and for convenience for other people. In > this way I can have multiple branches easily and test various configurations, > but all the serious stuff reach the svn sooner or later. So as long as all > the git mirrors fetch from svn there is no confusion possible. The only bad > thing it could happen is that one mirror is not updated often enough.
This is true for the developer side. But on the contributor side, there are now 3 repos to check for issues or pull requests, before filing one. Ederag _______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev
