Re: GitHub mirroring issue

[Dan Halperin]

(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

[Amit Sela]

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

[Suneel Marthi]

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

[Amit Sela]

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