[darcs-users] argh. please change the name "unpull"
lele at nautilus.homeip.net
Thu Mar 17 22:10:32 UTC 2005
>>>>> "Thomas" == Thomas Zander <zander at kde.org> writes:
Thomas> I certainly believe we should optimise for the finding of
Thomas> the right command first. And UnPull being the opposite of
Thomas> Pull in actual usage makes me feel it really is the best
Thomas> name. Erase is not what I would pick from a list of items
Thomas> if I wanted to undo a pull action.
OTOH, pull is not the only way to have a patch, in darcs. I may want
to "forget" a patch I recorded some time ago, because a newer and
better patch comes to replace it. I could even dream about a new patch
kind, so that I could spread the forget operation to a wider audience,
and having the mentioned patch actually removed (not rollback) from
any repository you push it...
nickname: Lele Gaifax | Quando vivrò di quello che ho pensato ieri
real: Emanuele Gaifas | comincerò ad aver paura di chi mi copia.
email: lele at seldati.it | -- Fortunato Depero, 1929.
More information about the darcs-users