[darcs-users] tracking a push

[Zack Brown]

Hi David,

I pushed a patch to you, called
standardize_paragraph_title_formatting-zbrown9tumblerings.org-Tue_Jul_29_08.47.06_PDT_2003

It wasn't much, just a little documentation stuff, mainly to start
experimenting with darcs itself. The thing is, I'm not sure how to check
if you applied it. I'm not really concerned with that particular patch,
since like I say, it wasn't anything much, but I'm interested in how to
deal with this kind of situation.

Ideally, I'd like to be able to (in no particular order):

a) check if a maintainer applied a patch they've received via 'push'

b) push the same patch again

c) tell darcs to un-push any patches that have not been applied
upstream, i.e. tell darcs to locally believe it has not pushed those
patches. But darcs should be able to do this without my having to list
off all the patches I want unpushed. It should base its operation on the
differences between our two repositories.

d) conveniently unpush, unrecord, and revert a patch, so that if the
maintainer rejects it, it's very easy for me to just ditch it in my own
repository, and thus sync up my local repository with the maintainer's
official tree

Be well,
Zack

-- 
Zack Brown