[darcs-users] renaming patches?

Tomasz Zielonka 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
> recorded?

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
repos).

Best regards
Tomasz




More information about the darcs-users mailing list