Re: Are savannah and GitHub out of sync?

[Raphael Mack]

Mh. You're right, it seems that we messed it up here and had diverged
repos. Probably someone pushed to the github master branch directly (or
merged a PR on github). Normally we should merge those only to savannah
and let ET do the job to push the changes into github master.

Creating a ticket on savannah is always a good idea for reporting
problems. Even though savannah is not the best tool ever we are still a
GNU tool and willing to use it. As for most users and seldom
contributors the use of github might be more easy that can still be an
option and a PR there could normally also be merged into a local branch
on a machine of someone with write access to savannah and then we can
push it there.

I now tried to mess around further and left the repos with a dirty
history, but finally I believe that all the PRs are merged and we have
a working HEAD, but all who have contributed recently please double
check your latest changes and let me know if I didn't get the right at
the end.

Cheers,
Rapha

Am Dienstag, dem 30.04.2024 um 15:39 +0900 schrieb 小泉 悟:
> 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 😉 ).
> > > 
> > > 
> > > 
> > > 
> > 
> > 
>