Re: GAP repo mirror on git... (fwd)

Oh, sorry Gregory, I meant you and I wrote Riccardo. ;-)

(...)

---------- Forwarded message ----------
Date: 2026-03-05 10:03:30 +0100
 From: Patrick CARDONA <[email protected]>
Subject: Re: GAP repo mirror on git...

Hello Riccardo,

On 2026-03-04 14:14:35 +0100 Gregory Casamento
<[email protected]> wrote:

> I have created a mirror of gap on github.   It is of course at:
> 
> https://github.com/gnustep/gap
> 
> I have an aws instance that is refreshing this every so often (every 
> 12
> hours).
> 
> Check it out and let me know if you have any questions.
> 
> Yours, GC
> 

Thank you for doing. I have several questions:

- Did you incorporate the patches from Debian Team or are those
specific to this platform?
- If I understand well, the only difference between Savannah and this
Github repo is the 12 hours delay?
- If people have an issue or a PR, could they use the Github repo to
post it?

Cheers,
Patrick

-- 
Patrick Cardona - Pi500 - GNU/Linux aarch64 (Debian 13.3)
Xorg (1:7.7+24) - libcairo2 (1.18.4-1+rpt1 arm64) - Window Maker
(0.96.0-4)
GWorkspace (1.1.0 - 02 2025) - Theme: AGNOSTEP - Classic - MUA:
GNUMail (1.4.0 - rev.947)