Ok, this should be fixed now. How often does the unofficial github mirror sync up? I don’t see anything reflected there yet.
Lucas > On Jun 20, 2016, at 10:26 AM, Lucas Forschler <lforsch...@apple.com> wrote: > > Thanks for the heads up. I’m starting an investigation now. > Lucas > >> On Jun 20, 2016, at 2:05 AM, Adam Bergkvist <adam.bergkv...@ericsson.com> >> wrote: >> >> Hi >> >> Git access to the repo seem to be stuck at >> 705033b054017f33b94adacc3b5e7747aebb45ef (June 18)? >> >> The unofficial github mirror has the same status [1]. >> >> /Adam >> >> [1] https://github.com/WebKit/webkit/commits/master >> _______________________________________________ >> webkit-dev mailing list >> webkit-dev@lists.webkit.org >> https://lists.webkit.org/mailman/listinfo/webkit-dev > > _______________________________________________ > webkit-dev mailing list > webkit-dev@lists.webkit.org > https://lists.webkit.org/mailman/listinfo/webkit-dev _______________________________________________ webkit-dev mailing list webkit-dev@lists.webkit.org https://lists.webkit.org/mailman/listinfo/webkit-dev