[vpp-dev] [FD.io Helpdesk #56282] git.fd.io not updating

Anton actually resolved this issue for us. On Tue May 22 14:56:02 2018, fcoras.li...@gmail.com wrote: > It is! Thank you, Vanessa! > > Florin > > > On May 22, 2018, at 11:41 AM, Vanessa Valderrama via RT > helpd...@rt.linuxfoundation.org> wrote: > > > > This issue should be resolved. > > > >

Re: [vpp-dev] [FD.io Helpdesk #56282] git.fd.io not updating

It is! Thank you, Vanessa! Florin > On May 22, 2018, at 11:41 AM, Vanessa Valderrama via RT > wrote: > > This issue should be resolved. > > Thank you, > Vanessa > > On Tue May 22 02:59:02 2018, mvarl...@suse.de wrote: >> Roughly a week ago, I noticed

[vpp-dev] [FD.io Helpdesk #56282] git.fd.io not updating

This issue should be resolved. Thank you, Vanessa On Tue May 22 02:59:02 2018, mvarl...@suse.de wrote: > Roughly a week ago, I noticed there was a DNS/IP change when cloning a > new VPP > repo... I wonder if what I saw is somehow connected to this issue. > On Mon, 2018-05-21 at 16:34 -0700,

Re: [vpp-dev] [FD.io Helpdesk #56282] git.fd.io not updating

It is! Thank you, Vanessa! Florin > On May 22, 2018, at 11:41 AM, Vanessa Valderrama via RT > wrote: > > This issue should be resolved. > > Thank you, > Vanessa > > On Tue May 22 02:59:02 2018, mvarl...@suse.de wrote: >> Roughly a week ago, I noticed