One way to script this would be to have a separate darcs repository. Your post hook script can do something like this:

cd $other
darcs pull -a --dry-run | mail -s'new darcs commit' $commitlist
darcs pull -a

_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users

Reply via email to