Link-up between Gerrit & Github

[Patrick Venture]

On Wed, Sep 19, 2018 at 9:03 AM Andrew Geissler <geissonator at gmail.com> wrote:
>
> On Wed, Sep 19, 2018 at 10:01 AM Patrick Venture <venture at google.com> wrote:
> >
> > On Mon, Sep 17, 2018 at 12:28 PM Brad Bishop
> > <bradleyb at fuzziesquirrel.com> wrote:
> > >
> > >
> > >
> > > > On Sep 17, 2018, at 3:17 PM, Patrick Venture <venture at google.com> wrote:
> > > >
> > > > The first meta-google patchset was pushed by Brad into github.
> > > > Interestingly, the second patchset which was merged into gerrit 3 days
> > > > ago still hasn't been automatically pushed into github.  It makes me
> > > > think there's some box we need to check or a setting to push.
> > > >
> > > > Brad, can you dig into this please?  I don't have any permissions to
> > > > poke at it on Gerrit.
> > >
> > > Will do.  Agreed there is a problem here - I noticed meta-x86 was out
> > > of sync too.  In the meantime I've manually fixed these.
> >
> > I know it hasn't been long, but I was curious if there any thoughts,
> > since it appears to be all new repositories, and not just the meta
> > ones.
>
> Yeah, there's a bug in either gerrit or the github plugin to gerrit
> (or a mismatch in the levels).  If we restart gerrit it picks up all
> the missing synch's and then works fine with that repo after. I'm
> hoping to just defer this until the next gerrit maintenance window in
> a month or so.  Wouldn't be an issue if we weren't adding so many
> freaking repos to openbmc :)  jk
>
> But yeah, until then, Brad please just ping me and I'll manually
> restart gerrit when you add new repos, it just takes a few seconds to
> get back up and running.  If it gets annoying enough I'll dig in a bit
> sooner.

I'd appreciate it if you can restart it shortly to pick up a slew of
new repos, although the meta-x86 wasn't new IIRC, but maybe it's new
in that gerrit hasn't been restarted since it was added.

>
> Andrew