Git mirrors are all better. ---------- Forwarded message ---------- From: Ted Dunning <[email protected]> Date: Thu, Jul 25, 2013 at 8:01 AM Subject: Re: git mirror(s) not updating To: Jukka Zitting <[email protected]>
Shazam! The changes have propagated all the way to github. Looks great. Thanks Jukka. On Thu, Jul 25, 2013 at 7:55 AM, Jukka Zitting <[email protected]>wrote: > Hi, > > On Thu, Jul 25, 2013 at 5:28 PM, Ted Dunning <[email protected]> > wrote: > > No change. Still out of date. > > I dug a bit deeper, and found a problem in the way the update script > checks for whether a github mirror is available. That check no longer > worked, apparently because of an updated SSL certificate. > > I replaced the wget check with a "git ls-remote" invocation (see infra > revision 871164, the earlier wget check wasn't committed). > > I started a new sync of all the git mirrors. It looks better now. > > BR, > > Jukka Zitting >
