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)