Link-up between Gerrit & Github

[Brad Bishop]

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