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 >