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
