[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.
Me:
> > No. It's an often requested feature, though.
Ari:
> 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.
Juliusz
More information about the darcs-users
mailing list