There can be issues with the integration. You may want to open an INFRA ticket on it. We have had to do that in the past with Metron.
On May 11, 2018 at 09:01:24, Mike Thomsen (mikerthom...@gmail.com) wrote: No, it was probably 5k-10kb of updates. On Fri, May 11, 2018 at 8:59 AM Marc Parisi <phroc...@apache.org> wrote: > I've seen it get stuck only to unstick with another merge > > On Fri, May 11, 2018, 8:50 AM Mike Thomsen <mikerthom...@gmail.com> wrote: > > > I approved one of Matt's PRs and merged, but it seems to be taking > > unusually long for the sync to GitHub. Is something broken? > > >
