I'd be curious to learn more about this, i.e. where it would be
inconvenient to darcs pull and resolve conflicts locally instead
of pushing to the other end. (...)
My example: I can ssh from machine 1 to machine 2, but not from
machine 2 to machine 1.
If you can ssh from machine 1 to machine 2, surely you can pull from
machine 2 to machine 1 (just as you can push from machine 1 to machine
2), no?
Machine 1 is under NAT. So (from my poor understanding of
netwoork), I don't think there's a way to go to machine 2
and pull from a machine with no public IP. I may be wrong,
though.
Maurício
_______________________________________________
darcs-users mailing list
darcs-users@darcs.net
http://lists.osuosl.org/mailman/listinfo/darcs-users
