Re: [Texmacs-dev] Multiple "git svn" mirrors of texmacs on github, problems...?

[Massimiliano Gubinelli]

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.

Best
mg
 

> On 20. Jun 2018, at 18:04, ederag <address@hidden> wrote:
> 
> On Wednesday, June 20, 2018 20:27:43 sadhen wrote:
>> Just create a new repo:
>> 
>> 
>> https://github.com/texmacs/GNUTeXmacs
>> 
>> 
>> PRs on any of the repos are welcome.
>> 
>> 
>> 原始邮件
>> 发件人:Zhaocong address@hidden
>> 收件人:Darcy address@hidden
>> 发送时间:2017年10月13日(周五) 19:34
>> 主题:Re: [Texmacs-dev] Multiple "git svn" mirrors of texmacs on github, 
>> problems...?
>> 
>> 
>> Darcy Shen, in your repo, the toplevel directory contains misc/ src/ web/ I 
>> think we should only contains the src/ directory. misc/ and web/ are 
>> probably out of date and they are not "source code".
> 
> 
> Multiplying repo is very confusing for potential contributors.
> Plus, the new repo has no history issues and PR.
> 
> Why not keep the previous texmacs repo 
> and transfer misc and web to new texmacs.misc and texmacs.web repos ?
> 
> Ederag
> 
> _______________________________________________
> Texmacs-dev mailing list
> address@hidden
> https://lists.gnu.org/mailman/listinfo/texmacs-dev