[darcs-users] darcs unpush?

[Ingo Weiss]

Thanks, Shawn!

following the advice of a friend I used 'darcs obliterate' on the  
central repository and that worked.

Ingo


On May 4, 2007, at 12:41 AM, Sartak wrote:

> On 5/3/07, Ingo Weiss <ingo at ingoweiss.com> 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
>> darcs-users at darcs.net
>> 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