Me parece que estás confundido, puesto que ese repositorio sigue siendo parte del paquete estándar Moodle en la versión 3.1 (y también en la 3.5 con la que trabajo habitualmente). Te sugiero que accedas a:
Administración del sitio > Extensiones > Vista general de extensiones
Y busques bajo el apartado "Repositorios", por si estuviera deshabilitado. Si no aparece de ninguna forma, es posible que alguien lo haya "desinstalado".Saludos.