What do these symbols refer to and what do they mean?
(I can\'t find any explanation in official documentation)
My understanding is that HEAD points the current branch, while ORIG_HEAD is used to store the previous HEAD before doing "dangerous" operations.
For example git-rebase and git-am record the original tip of branch before they apply any changes.