[Observe-commits] 01/01: On n gère pas lors de la synchronisation de la désactivation d'un référentiel (See #7739)