Re: darcs patch: Add ... darcs patch revision protocol

-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Jason Dagit wrote:

On 5/22/07, Adam Langley wrote:

...

On 5/22/07, Ross Paterson wrote:

...

nearest needs Num, but the other two shouldn't.

That's a great point, I hadn't thought about that. I don't know if people usually send a correction patch, or remake the patch but I've done the former:

I can't speak for the protocol of this libraries list, but in darcs-devel people usually use 'amend-record' when the changes are small (like correcting a typo).

I prefer making another patch and sending the two patches together, as per the darcs manual http://www.darcs.net/manual/node7.html#SECTION00791000000000000000 in case someone else has already applied the first patch, it makes darcs work better. (the changelog-spamming effect is unfortunate, maybe there should be some convention to distinguish how important a change is, like wikipedia's minor edits? "MINOR: blah blah"... but I don't like that judgement call. Does anyone mind the extra patch-count much?) Isaac -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.6 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFGU2yzHgcxvIWYTTURApCaAKC8qNom2LZLgWG2qJiLZfLDner86wCgglfN XZQCVnTO+bxleUBA48prj1Q= =pBt0 -----END PGP SIGNATURE-----