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)
