Commit 74fe76f72445e2debacc46fb52f98316ef3a1370

Thomas de Grivel 2025-10-25T21:58:40

repository_controller: fix when no diff