Re: Git repo error

[Justin Mclean]

Hi,

> Infra might be messing with the post commit github mirror sync hook.  Lets
> give it a few hours to see if goes away.  

I've pinged them and yes it's an issue with gitpubsub.

Thanks,
Justin