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