|Subject:||Re: State of the git mirror ?|
|Date:||Mon, 7 Mar 2016 23:24:45 -0500|
Hey Bertrand,On Thu, Mar 3, 2016 at 4:00 PM, Gregory Casamento <address@hidden> wrote:--Okay, I'll look into it ASAP. Thanks for the heads up.On Thu, Mar 3, 2016 at 3:42 PM, Bertrand Dekoninck <address@hidden> 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 cleaningThanks a lot !
the mess up.
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
|[Prev in Thread]||Current Thread||[Next in Thread]|