(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 <amitsel...@gmail.com> wrote: > Thanks! > > On Wed, Oct 26, 2016, 23:32 Suneel Marthi <smar...@apache.org> 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 <amitsel...@gmail.com> 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 > > > > > >
