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

[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:
> 
> 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/ 
>> [2] 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

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

[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 [2].
> Any idea what may be causing this?
> 
> Thanks,
> Florin
> 
> [1] https://git.fd.io/vpp/log/ 
> [2] 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