Re: Are savannah and GitHub out of sync?

[Raphael Mack]

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 😉 ).
> 
> 
> 
>