[darcs-users] separate default push and pull repos

Ketil Malde ketil at ii.uib.no
Thu Nov 9 07:40:19 UTC 2006


Greg Fitzgerald wrote:
> 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?
If you want to prevent accidentally pushing to stable, you could perhaps 
pull using
an unpushable protocol (http)?  I you'd probably still have to specify 
the repo, though.

-k




More information about the darcs-users mailing list