I have to rebuild the mirror. I cloned it with git svn using svn: and not svn+ssh:. I have to re-do it very quickly.
GC On Fri, Mar 6, 2026 at 11:35 AM Riccardo Mottola <[email protected]> wrote: > Hi Patrick, > > > Patrick CARDONA wrote: > > > > > > - Did you incorporate the patches from Debian Team or are those > > specific to this platform? > > Depends on which patches you are referring to, some work gas been > incorporated into GAP already, if not it can be analyzed and > incorporated, but has nothing to do with github. > If you were already checking out SVN sources, you don't gain anything > new, except if you prefer using "git pull" to "svn update" > > > - If I understand well, the only difference between Savannah and this > > Github repo is the 12 hours delay? > > So it should be, finally! I just checked and the commits I did in > HelpViewer and they flowed in correctly. Good work, Greg. > > > - If people have an issue or a PR, could they use the Github repo to > > post it? > > Work is stil done on savannah, so bug and patches better reported there. > I don't think it is a bi-directional mirror, but Gregory may answer > there. It would be dangerous. However it is convenient for many to be > able to check-out updated sources > > > Riccardo > > PS: try HelpViewer... did quite a lot of work this week on it, didn't > announce it yet. If you want to discover yourself, try. It is synced to > github! > -- Gregory Casamento GNUstep Lead Developer / Black Lotus, Principal Consultant http://www.gnustep.org - http://heronsperch.blogspot.com https://www.patreon.com/bePatron?u=352392 - Become a Patron https://www.openhub.net/languages/objective_c https://www.gofundme.com/f/cacao-linux-a-gnustep-reference-implementation
