Undo repo add by uncompatibilities