Change references to "tibotiber" repos