made mysql repos their own thing