29 Mar
2010
29 Mar
'10
7:57 p.m.
* On Monday, March 29 2010, Gwern Branwen wrote:
It's best if you make the change, and then record it using 'darcs amend-record'; then re-'darcs send' it. This keeps the history clean with a single push of a single patch for a single change. Darcswatch is smart enough to know that the old patch is automatically 'obsolete' and it only should track the new patch made using 'amend-record'.
-- gwern
This can lead to confusion for other people who have applied the older patch, but I doubt there are many, and they would be following this conversation anyways. -- Adam