Learn more about these different git repos.
Other Git URLs
729a8b4
fix git_head for detached head state * this is the case after git checkout. Without this fix, repo was evaluated as dirty even though it wasn't (just in detached state).