On 5/3/07, Ingo Weiss <[EMAIL PROTECTED]> wrote:
Hi,
Is there a way to undo the pushing of a patch to a repository? I have
a patch that I pushed to the repository, but I would like to undo
this. That patch has been pulled by one other user, but that user did
run 'unpull' to undo the pull.
Ingo
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
Hi Ingo,
There is (at least) one way, if you have control of that central
repository. Run darcs unpull on _that_ repo.
Alternatively you can push the inverse patch (which should have a
dependency on the original patch so no one would apply the inverse
without the original).
Good luck!
Shawn M Moore
_______________________________________________
darcs-users mailing list
[email protected]
http://lists.osuosl.org/mailman/listinfo/darcs-users
