[darcs-users] Re: argh. please change the name "unpull"
Mark Stosberg
mark at summersault.com
Thu Mar 17 22:17:06 UTC 2005
On 2005-03-17, Thomas Zander <zander at kde.org> wrote:
>
> I certainly believe we should optimise for the finding of the right command=
>=20
> first. And UnPull being the opposite of Pull in actual usage makes me feel=
>=20
> it really is the best name. Erase is not what I would pick from a list of=
>=20
> items if I wanted to undo a pull action.
But 'pull' is a copy. So how is a copy undone? It's not 'uncopied',
The second copy is discarded.
Realize that 'unpull' is also used for:
- removing patches that have never left the repo, but were recorded with 'record'
- patches that have been applied manually with 'apply'.
- patches that have been been applied automatically through an e-mail system.
In all cases the patch is applied with 'apply' at some point, which is
why I think I'm leaving my vote on 'unapply'.
Mark
More information about the darcs-users
mailing list