···764764 end
765765 in
766766767767+767768 (* Compute summary *)
768769 let repos_need_sync = List.length (List.filter (fun r -> r.local_sync <> `In_sync) repos) in
769770 let repos_behind_upstream = List.length (List.filter (fun r -> r.remote_behind > 0) repos) in