Re: [kvm-devel] [GIT PULL] kvm oops fix

[David Brown]

> 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 majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/