Commit a574d84352fb9d21860f371b1dec23f55b90c873
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.