[darcs-users] renaming patches?
tomasz.zielonka at gmail.com
Sun Mar 13 12:00:36 UTC 2005
On Sat, Mar 12, 2005 at 06:50:07PM +0100, Albert Reiner wrote:
> is the name of a patch part of its identity (and thus presumably fixed
> for all eternity, at least as soon as there are other patches that
> depend on it), or can I rename a patch after it has already been
Yes, the name of a patch is part of its identity.
You could unrecord the patch and record it again, with a different name,
unless the patch has already left the repository (ie. got to another
More information about the darcs-users