As you might have read in the INFRA issue we are close to migrate the core repo 
so please do not commit until further notice. This simplifies the migration 
process. I already have a local git repo, just waiting for INFRA to cleanup old 
mirrors.

Reply via email to