liberty-eiffel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Are savannah and GitHub out of sync?


From: 小泉 悟
Subject: Re: Are savannah and GitHub out of sync?
Date: Tue, 30 Apr 2024 15:39:40 +0900

So how should do I to make you happy?
I made pull request in GitHub(#184).
This patch may not be usable out of the box.
Should I have reported the bug to Savannah instead?

KOIZUMI Satoru

> 2024/02/25 6:04、Raphael Mack <ramack@raphael-mack.de>のメール:
> 
> after we moved to savannah we adjusted the ET setup. It normally should
> sync the changes from savannah to github and we should never push there
> directly, to avoid desynchronizing the two repos. We wanted to keep the
> github, because ET triggers are using it and also for contributors it
> might be more easy to create a PR on github compared to savannah. But
> we should merge them into savannah directly (which will close the PRs
> on github after the next sync).
> 
> It also seems that ET messed up recently - I can try to bring that back
> to work in a few days.
> 
> Regards,
> Rapha
> 
> Am Freitag, dem 23.02.2024 um 08:09 +0100 schrieb Paolo Redaelli:
>> As far as I remember GitHub and savannah are not automatically
>> synced.
>> 
>> When Cyril started Liberty he created the GitHub repository.
>> 
>> After a while Liberty was labelled as a GNU project, gaining a
>> savannah 
>> account.
>> 
>> When GitHub was bought by Microsoft we agreed to keep the github
>> account 
>> as a backup, as Microsoft had a decennial history of blatant
>> hostility 
>> toward free-as-in-freedom software.
>> 
>> Now I think we can agree on the fact that savannah is not by far as 
>> "modern" and sleek as github; of all github alternatives none are 
>> officially endorsed by FSF.
>> 
>> I used to remember that there were some mechanism keeping savannah
>> and 
>> github in sync, but I suspect it was the goodwill of Raphael...
>> 
>> Shall I setup a sync automatism? I'm not sure about it.
>> 
>> Meanwhile I'll pull github changes into savannah
>> 
>> PS:  as a note I have to confess that I could have poured a lot more 
>> effort, as I left Cyril almost alone, also chilling Raphael's 
>> entusiasms... ("mea culpa, mea culpa, mea maxima culpa" Cyril will 
>> understand 😉 ).
>> 
>> 
>> 
>> 
> 
> 




reply via email to

[Prev in Thread] Current Thread [Next in Thread]