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