Commit bd50f796e87e78389ddc3b4551b9c88124c168ec

Thomas de Grivel 2022-06-17T09:26:47

deprecate GitManager.disk_usage and such