git remote set-head $REMOTE_NAME $BRANCH
Created
October 16, 2015 19:30
-
-
Save jtryan/3d832fa20e82ce1dff5a to your computer and use it in GitHub Desktop.
Git command to move HEAD
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment