[darcs-users] darcs patch: Add Patch-salt as ignored prefix

David Roundy droundy at darcs.net
Sat Oct 4 11:58:11 UTC 2008


On Thu, Oct 02, 2008 at 09:36:36PM -0400, Max Battcher wrote:
> I apologize for not compiling/testing this patch, but I've still yet to 
> completely set-up darcs' building on this laptop...
> 
> However, this is a simple one-line change that changes a small data
> structure and I'm sure that it should compile.
> 
> 
> Thu Oct  2 18:44:10 EDT 2008  Max Battcher <me at worldmaker.net>
>   * Add Patch-salt as ignored prefix
>   
>   Adds "Patch-salt: " as an ignored prefix in patch descriptions as a more
>   semantic alternative to "Ignore-this: " for patch differentiation as
>   proposed to solve issue1102.

I don't like this change.  Ignore-this is a more general statement, which
means we can reuse it for anything we like.  On the other hand, if there is
a universal desire to call this junk Patch-salt, we can do that.

David


More information about the darcs-users mailing list