Link-up between Gerrit & Github

[Patrick Venture]

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.