Hey Bertrand, On Thu, Mar 3, 2016 at 4:00 PM, Gregory Casamento <[email protected]> wrote:
> Okay, I'll look into it ASAP. Thanks for the heads up. > > On Thu, Mar 3, 2016 at 3:42 PM, Bertrand Dekoninck < > [email protected]> wrote: > >> Le 03/03/2016 21:39, Gregory Casamento a écrit : >> >>> That's my fault... it is usable... but I'm in the process of cleaning >>> the mess up. >>> >>> Thanks a lot ! >> I wouldn't be at your place ;-) >> >> What I wanted to underline is that it's not synced with svn for now. >> Gworkspace isn't up to date either. The last pushed commit on git is two >> days old, but there has been changes on svn today. >> >> What has happened is this. I made a modification to the scripts which are responsible for the mirror. Unfortunately I forgot something in one of the scripts and, as a result, it kept duplicating origin/master for some reason. This is causing an issue with both my local repos and the ones on github... so the mirror is down for now until we can fix this problem. I am reluctant to simply blow them away as this would effect github metadata which I consider important. I should have something figured out in the next few days. The very last option is to blow them away. GC -- Gregory Casamento GNUstep Lead Developer / OLC, Principal Consultant http://www.gnustep.org - http://heronsperch.blogspot.com http://ind.ie/phoenix/
_______________________________________________ Discuss-gnustep mailing list [email protected] https://lists.gnu.org/mailman/listinfo/discuss-gnustep
