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