subject:"\[vpp\-dev\] \[FD.io Helpdesk #48422\] Gerrit and git out of sync\?"

Re: [vpp-dev] [FD.io Helpdesk #48422] Gerrit and git out of sync?

2017-11-21 Thread Florin Coras

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 > wrote: > >

[vpp-dev] [FD.io Helpdesk #48422] Gerrit and git out of sync?

2017-11-21 Thread Vanessa Valderrama via RT

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