Re: GitHub mirroring issue

(Sometimes this happens even when there is not a systemic issue: I have seen github mirroring fail if two things are merged close together, but usually the bot "magically" fixes it on the next commit.) Dan On Wed, Oct 26, 2016 at 1:40 PM, Amit Sela wrote: > Thanks! > > On

Re: GitHub mirroring issue

Thanks! On Wed, Oct 26, 2016, 23:32 Suneel Marthi wrote: > We have been seeing Github mirroring issues today on other projects too, > filed an Infra jira - INFRA-12830 > > On Wed, Oct 26, 2016 at 4:21 PM, Amit Sela wrote: > > > Hi all, > > > > I've

Re: GitHub mirroring issue

We have been seeing Github mirroring issues today on other projects too, filed an Infra jira - INFRA-12830 On Wed, Oct 26, 2016 at 4:21 PM, Amit Sela wrote: > Hi all, > > I've merged a PR ~2 hours ago and while the apache remote seems up-to-date, > github didn't nor did

GitHub mirroring issue

Hi all, I've merged a PR ~2 hours ago and while the apache remote seems up-to-date, github didn't nor did the PR or JIRA. The last commit hash is: 6db9424 (9f30b21 merge commit). Hopefully this will update after the next commit but FYI I guess. Thanks, Amit