Commit b92664883999f4d41fcf471cdf627946fafa364d

Edward Thomson 2016-06-14T12:27:03

documentation: improve docs for `checkout_head` `git_checkout_head` is sadly misunderstood as something that can switch branches. It cannot. Update the documentation to reflect this.