added another repository

I'm not actually sure which of these three is the one needed