Advertisement
Guest User

Untitled

a guest
May 5th, 2016
53
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.23 KB | None | 0 0
  1. # this only set my HEAD on the wanted commit.
  2. $ git reset --hard HEAD
  3. $ git reset --hard 055c700
  4.  
  5. # this made a new branch called HEAD instead of my actual HEAD, which was a pain to delete afterwards
  6. $ git checkout -B "HEAD" "master"
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement