clone of git://develop.git.wordpress.org/ synced every minute