distributedlog-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Enrico Olivelli <eolive...@gmail.com>
Subject Re: Github repo isn't in-sync with the git repo
Date Wed, 14 Jun 2017 08:58:58 GMT
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 <guosijie@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.

Mime
View raw message