[darcs-users] Command renamings and hide/show

zooko at zooko.com zooko at zooko.com
Fri May 14 13:30:31 UTC 2004

> > unpull has a nice symmetry [with pull] that I like.
> Really, it doesn't.  pull takes a repository, and unpull doesn't.  There
> are uses of unpull that have nothing to do with "opposite of pull".  I
> find this false symmetry somewhat confusing.

Yes.  unpull has a symmetry with pull if you exclude the existence of the
second repository from consideration.  Since I conceive of darcs primarily in
terms of relations between repositories and only secondarily in terms of
relations between working directory and its associated repository, I found this
*very* confusing and since my co-hacker was also confused it took some hours to
straighten out.  (For the record, my co-hacker Ash actually understood the
concepts correctly, but he accidentally told me to "unrecord" when he meant to
say "unpull".)


More information about the darcs-users mailing list