I just noticed -- section "4.4 Network" ot the command reference at https://www.monotone.ca/docs/Network.html#Network doesn't actually say what push and pull do.
-- hendrik _______________________________________________ Monotone-devel mailing list Monotone-devel@nongnu.org https://lists.nongnu.org/mailman/listinfo/monotone-devel