Hi Vanessa, It seems it got fixed in the morning but yesterday we were lagging something like 10+h. The two are now in sync. Hopefully it was just a passing glitch.
Thanks, Florin > On Nov 21, 2017, at 11:42 AM, Vanessa Valderrama via RT > <fdio-helpd...@rt.linuxfoundation.org> wrote: > > Can you point me to specific changes that aren't in sync. The branches > appear to be in sync. > > > On Mon Nov 20 21:45:46 2017, fcoras.li...@gmail.com wrote: >> Hi, >> >> It seems that git master head points at a gerrit patch merged 10h >> ago[1]. There have been several recent merges and none show up [2]. >> Any idea what may be causing this? >> >> Thanks, >> Florin >> >> [1] https://git.fd.io/vpp/log/ <https://git.fd.io/vpp/log/> >> [2] https://gerrit.fd.io/r/#/q/project:vpp >> <https://gerrit.fd.io/r/#/q/project:vpp> > > > > _______________________________________________ vpp-dev mailing list vpp-dev@lists.fd.io https://lists.fd.io/mailman/listinfo/vpp-dev
