Commit f80b328b88ae7100e2b0be4a82c6b271b3edc573

Thomas de Grivel 2025-10-25T21:52:19

repository_controller: fix when no diff