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