Re: Github repo isn't in-sync with the git repo

[Enrico Olivelli]

Now I see on apache git repo this sha
07852d35856dca232450135913090bac27b29abe and on github the same
07852d35856dca232450135913090bac27b29abe

Thank you Sijie
-- Enrico

2017-06-12 21:49 GMT+02:00 Sijie Guo <guosi...@gmail.com>:
> It seems that the recent merged changes are not propagated into the github
> mirror. it seems something is broken in INFRA. try to asking INFRA team.