[darcs-users] Permanently choose not to push (or pull) a given patch?

Juliusz Chroboczek Juliusz.Chroboczek at pps.jussieu.fr
Mon Jul 3 21:31:36 UTC 2006

Ari Johnson:

> > > Is there any way to tell darcs never to ask me again about pushing (or
> > > pulling) a particular patch?  Thanks.


> > No.  It's an often requested feature, though.


> Is there a particular barrier to implementing it?

No.  It just hasn't been done yet.

> Is it a matter of where to record the information,

Just dump it in a file under _darcs/prefs.  I'd just create a new
option ``--ignore-patches'', then you could put

  push ignore-patches=hash1,hash2

in your prefs file, and everything would work.

> a matter of it breaking the darcs patch invariants,

Nothing I can see.


More information about the darcs-users mailing list