[darcs-users] darcs patch: Add Patch-salt as ignored prefix
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.
More information about the darcs-users