Albert Reiner wrote:
Hi,
it seems that patch naming conventions are quite important in darcs
(which is again something I like). But this comes with some problem,
viz., the danger of accidentally violating that naming convention.
The fact that patch names are part of the identity of the patch (which
precludes re-naming) doesn't make things easier. E.g., in one repo I
Would modifying the patch name cause more problems than modifying the patch itself with
amend-record? It would be a nice way to correct typos or more importantly misdescriptions
in the names of recorded patches.
Jani
_______________________________________________
darcs-users mailing list
[email protected]
http://www.abridgegame.org/mailman/listinfo/darcs-users
