How to delete an ORIG_HEAD branch in git?

Question

Possible Duplicate:
git delete and recreate branch

To be honest I'm not sure ORIG_HEAD can be called a branch, yet it appears in my visual editor as one.

I have made a "git reset --hard HEAD~1" and then made some changes, finally committing them. How to get right of that ORIG_HEAD branch?

Aeonian

Possible duplicate of git delete and recreate branch – Lexine

Answer 1

See "HEAD and ORIG_HEAD in Git":

ORIG_HEAD is previous state of HEAD, set by commands that have possibly dangerous behavior, to be easy to revert them.
It is less useful now that Git has reflog: HEAD@{1} is roughly equivalent to ORIG_HEAD

In your case, you did a git reset, so Git left a "reminder" of where you were before said reset.
You can ignore it.

You can also get rid of it with a simple

rm -f $GIT_DIR/ORIG_HEAD
# or
rm -f .git/ORIG_HEAD

That is what the example/git-reset.sh script does for instance.

Ambience

Sure, VonC. I know that I can ignore it. But I don't want to have it dangling around. I'd like to get rid of it if possible. – Aeonian

@devouredelysium I have edited the answer to include a way to get rid of ORIG_HEAD – Ambience

@powder366 not sure. It is possible the next command which doesn't need to set ORIG_HEAD could remove it. – Ambience