> What is the easiest way to completely undo a pull, reverting the branch > to the HEAD present before the pull? >
If the pull doesn't merge successfully then usually doing a `git-reset --hard` will blow everything away back to normal, but Linus may do different things. - David Brown ------------------------------------------------------------------------- This SF.net email is sponsored by DB2 Express Download DB2 Express C - the FREE version of DB2 express and take control of your XML. No limits. Just data. Click to get it now. http://sourceforge.net/powerbar/db2/ _______________________________________________ kvm-devel mailing list kvm-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/kvm-devel
