Re: Extra commits pushed on Savannah

[Development of GNU Guix and the GNU System distribution.]

Hi folks,

On Tuesday, June 3rd, 2025 at 12:37 PM, Noé Lopez via "Development of GNU Guix 
and the GNU System distribution." <guix-devel@gnu.org> wrote:

> 
> 
> Hi everyone,
> 
> There are four extra commits that were pushed on Savannah and not
> Codeberg:
> 
> ad8cb7af8f * savannah/master gnu: openscad: Update to 2025.06.01.
> 1e081d0a48 * gnu: manifold: Update to 3.0.1-0.7c8fbe1.
> 36a5c856be * gnu: opencsg: Ran guix style.
> 531c26bba8 * gnu: opencsg: Update to 1.8.2.
> 
> They should probably be pushed to Codeberg instead.

I also want to mention that it appears these four commits have broken the 
mirroring of the Codeberg repo to Savannah. I just did a fresh pull from 
Codeberg, and it shows 7 new commits that aren't mirrored to savannah (with the 
oldest being about 17 hours old and the newest about 5 hours). The last common 
commit is:

325058efde gnu: zeromq: Update to 4.3.5.

Which is the commit just prior to the four commits mentioned in the quote 
above. I suspect a force push (or possibly some careful branch juggling) of the 
Codeberg repo to Savannah may be needed to get the mirroring working again, 
since both trees have diverged from each other.

Cheers,
Kaelyn

> 
> Have a nice day,
> Noé