Monorepo management for opam overlays
progress: clear phase on finish; push: remove duplicate summaries
+1
-15
+1
-15
lib/push.ml
+1
-15
lib/push.ml
···
776
776
Ok (name, url))
777
777
pushed_repos
778
778
in
779
-
let n_pushed = List.length pushed_repos in
780
779
Tty.Progress.finish ~message:"exported" progress;
781
-
let n_missing = List.length missing in
782
780
log_missing_repos ~all_pkgs missing;
783
781
match log_push_results push_results with
784
782
| Error e -> Error e
···
791
789
if ws_errors <> [] then
792
790
let _name, e = List.hd ws_errors in
793
791
Error (Ctx.Git_error e)
794
-
else begin
795
-
if upstream then
796
-
Log.app (fun m -> m "✓ Pushed %d repos to remotes." n_pushed)
797
-
else
798
-
Log.app (fun m ->
799
-
m "✓ %d repos exported to checkouts.%s" n_pushed
800
-
(if n_missing > 0 then Fmt.str " %d skipped." n_missing
801
-
else ""));
802
-
if not upstream then
803
-
Log.app (fun m ->
804
-
m " Next: monopam push --upstream # to send to remotes");
805
-
Ok ()
806
-
end)
792
+
else Ok ())
807
793
808
794
let load_sources ~fs ~config =
809
795
let sources_path = Fpath.(Config.Paths.monorepo config / "sources.toml") in