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 - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [EMAIL PROTECTED] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
