Git mirror of Oracle MySQL trees