> 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. Andrew