[darcs-users] separate default push and pull repos

Greg Fitzgerald garious at gmail.com
Wed Nov 8 22:36:40 UTC 2006


Is there a way to set up a repository so that when I do this:

   darcs push myUnstableRepo
   darcs pull myStableRepo

from then on all pushes go to myUnstableRepo and all pulls come from
myStableRepo?

Thanks,
Greg




More information about the darcs-users mailing list